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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounintuitionistic logic (plural intuitionistic logics)

plural intuitionistic logics

  1. human sciencesA 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.

Translations

Dutch intuïtionistische logica
  • intuïtionistische logicaa type of logic which rejects the axiom "law of excluded middle"
Finnish intuitionistinen logiikka
  • intuitionistinen logiikkaa type of logic which rejects the axiom "law of excluded middle"
German intuitionistische Logik
  • intuitionistische Logika type of logic which rejects the axiom "law of excluded middle"
Icelandic innsæisrökfræði
  • innsæisrökfræðia type of logic which rejects the axiom "law of excluded middle"
Polish logika intuicjonistyczna
  • logika intuicjonistycznaa type of logic which rejects the axiom "law of excluded middle"
Romanian logică intuiționistă
  • logică intuiționistăa type of logic which rejects the axiom "law of excluded middle"
Cite this entry
APA

intuitionistic logic. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/intuitionistic%20logic

MLA

“intuitionistic logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/intuitionistic%20logic. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “intuitionistic logic,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/intuitionistic%20logic.

Source: intuitionistic logic on Wiktionary, CC BY-SA 4.0.