Word.ws English Dictionary

intuitionistic logic

intuitionistic logic noun: 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.

Noun

intuitionistic logic (plural intuitionistic logics)

  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.

Forms of intuitionistic logic

pluralintuitionistic logics

Questions about intuitionistic logic

What does intuitionistic logic mean?
Intuitionistic logic means 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.
What part of speech is intuitionistic logic?
Intuitionistic logic is a noun.
What is the plural of intuitionistic logic?
The plural of intuitionistic logic is intuitionistic logics.

Words near intuitionistic logic in the dictionary

  1. intuitionally
  2. intuitionism
  3. intuitionisms
  4. intuitionist
  5. intuitionistic
  6. intuitionistic logic
  7. intuitionistic logics
  8. intuitionistically
  9. intuitionists
  10. intuitionless
  11. intuitions

Source and license

Adapted from Wiktionary: intuitionistic logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “intuitionistic logic.” Word.ws, https://word.ws/intuitionistic_logic. Based on Wiktionary, CC BY-SA 4.0.