intuitionistic logic

Noun

Meaning

intuitionistic logic (plural intuitionistic logics)

(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.

Source: en.wiktionary.org

Synonyms

modal logic linear programming propositional logic deontic logic

Antonyms

classical logic

Examples

Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization. Source: Internet

Intuitionistic logic Kripke semantics for the intuitionistic logic follows the same principles as the semantics of modal logic, but uses a different definition of satisfaction. Source: Internet

Intuitionistic logic is sound and complete with respect to its Kripke semantics, and it has the Finite Model Property. Source: Internet

Close letter words and terms

intuitionist intuitionistic intuitionistic linear logic intuitionistically intuitionless intuitive