Home / Dictionary / Intuitionistic logic

Intuitionistic logic Uncommon

Definition, synonyms and related words

Definitions
Noun
1

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.

See Also
intuitionism logic law of excluded middle superintuitionistic peirce's law kripke model law of double negation decidable
Related Terms
Rhyming Words
yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic
Compare
Intuitionistic logic vs