💡 Words with a Similar Meaning to "Intensional logic"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| intensionalitynoun | (logic, mathematics) The condition of having an intension |
| intuitionistic logicnoun | (mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism. |
| intensional definitionnoun | (semantics) A definition that gives the meaning of a term by specifying all the properties of the things to which the term applies. |
| logical calculusnoun | (logic) A formal system. |
| propositional logicnoun | (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. |
| logicnoun | (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method. |
| linear logicnoun | (logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules. |
| formal logicnoun | (logic) Mathematical logic. |
| conservative extensionnoun | (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory. |
| intuitionismnoun | (mathematics) An approach to mathematics/logic which avoids proof by contradiction, and which requires that, in order to prove that something exists, one must construct it. |
| first-order logicnoun | (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. |
| extensionnoun | The act of extending; a stretching out; enlargement in length, breadth, or time; an increase. |
| formal systemnoun | (logic) The grouping of a formal language and a set of inference rules and/or axioms. |
| mathematical logicnoun | (logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. |
| predicate logicnoun | (logic) First-order logic. |
| 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. |
| monadic second-order logicnoun | (logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse. |
| sublogicnoun | (mathematics) A subset of a system of logic |
| 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. |
| sentential logicnoun | (logic) propositional logic |
Translate “Intensional logic” into Another Language
Pick a language — the word will be pre-filled in the translator.