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