💡 Words with a Similar Meaning to "Coinduction"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| inductionnoun | An act of inducting. |
| natural deductionnoun | A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems. |
| solomonoff inductionnoun | (computing theory) A form of induction, involving Bayes' theorem, that derives the posterior probability of any computable theory, given a sequence of observed data. |
| mathematical inductionnoun | (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n. |
| transfinite inductionnoun | (mathematics, set theory) An extension of mathematical induction to well-ordered sets of transfinite cardinality, such as sets of ordinal numbers or cardinal numbers. |
| inductive definitionnoun | (semantics) A recursive definition. |
| sequent calculusnoun | (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents. |
| backward inductionnoun | (game theory) The process of reasoning backwards in time, from the end of a problem or situation, to determine a sequence of optimal actions. |
| inference rulenoun | (logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas). |
| implicantnoun | (propositional calculus) The hypothesis of an implication |
| strict implicationnoun | (logic) A material implication that is acted upon by the necessity operator from modal logic. |
| existential instantiationnoun | (logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)). |
| cointersectionnoun | (mathematics) A family of behavioural equivalences which factors through all elements of a second specified family of behavioural equivalences and for which any morphism that factors through the second family of behavioural equivalences also factors through its elements. |
| inference to the best explanationnoun | (logic, fixed phrase) Synonym of abductive reasoning. |
| paraconsistent logicnoun | (logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold. |
| predicate logicnoun | (logic) First-order logic. |
| sublogicnoun | (mathematics) A subset of a system of logic |
| deductive inferencenoun | inference in which the conclusion is just as certain as the premises |
| forward reasoningnoun | (philosophy, logic) In artificial intelligence, modus ponens. |
| metaconjecturenoun | (mathematics) A conjecture that holds for most, but not all, conditions |
🎨 Adjectives for "Coinduction"
Popular adjectives used to describe this word in books.
📝 Common Phrases with "Coinduction"
Translate “Coinduction” into Another Language
Pick a language — the word will be pre-filled in the translator.