BabelNet

bn:00932534n

Noun Concept

Categories: Systems of formal logic, Non-classical logic, Logic in computer science, Intuitionism, Constructivism (mathematics)

intuitionistic logic constructive logic Constructivist logic intuitionist logic Intuitionistic Prop Calc

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. Wikipedia

Definitions

Relations

Sources

Logic Wikidata

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

A type of logic which rejects the axiom "law of excluded middle". Wiktionary (translation)

IS A

technical term

HAS KIND

linear logic

intermediate logic

DESCRIBED BY SOURCE

Armenian Soviet Encyclopedia

DIFFERENT FROM

intuitionism

FACET OF

logic