Intuitionistic logic

Definition

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. In particular, systems of intuitionistic logic do not assume the law of excluded middle and double negation elimination, which are fundamental inference rules in classical logic.

Related concepts

Admissible rule Agda (programming language)Alexander Kuznetsov (mathematician)Arend Heyting Axiom schema BHK interpretation Boolean-valued semantics Boolean algebra Boolean algebra (structure)Boolean function Brouwer-Heyting-Kolmogorov Brouwer–Hilbert controversy Classical logic Complement (set theory)Computability logic Conditional (computer programming)Consequentia mirabilis Constructive analysis Constructive proof Constructive set theory Constructivism (mathematics)Currying Curry–Howard correspondence David Hilbert De Morgan's laws Decidability (logic)Degree of truth Description logic Dialectica interpretation Dialetheism Dirk van Dalen Disjoint sets Disjunction and existence properties Disjunction property Disjunctive syllogism Distributive property Domain of discourse Double negation elimination Drinker's paradox Duality (mathematics)Dynamic semantics Edward N. Zalta Elsevier Embedding Evidence Finite-valued logic First-order logic Four-valued logic Four color theorem Functionally complete Fundamenta Mathematicae Fuzzy finite element Fuzzy logic Fuzzy rule Fuzzy set Fuzzy set operations Gaisi Takeuti Game semantics Generalization (logic)Gerhard Gentzen Giorgi Japaridze Grenoble Gödel-Gentzen translation Gödel–Dummett logic Harrop formula Harvard University Press Heyting algebra Heyting arithmetic Hilbert-style deduction system Hilbert system IEEE 1164 Import–export (logic)Independence of premise Inference rules Infinite-valued logic Inhabited set Inquisitive semantics Interior (topology)Intermediate logic Intermediate logics Interpretation (logic)Intuitionism Intuitionistic type theory Jan Łukasiewicz Join and meet Kripke frame Kripke semantics Kurt Gödel Law of bivalence Law of excluded middle Law of identity Law of non-contradiction Lecture Notes in Computer Science Limited principle of omniscience Linear logic Logic synthesis Logical conjunction Logical connective Logical disjunction Logical equivalence Logical negation Luitzen Egbertus Jan Brouwer Many-valued logic Material conditional Mathematical constructivism Minimal logic Modal companion Modal logic Model theory Modus ponens Negation introduction Non-classical logic Non-monotonic logic Normal modal logic Notre Dame Journal of Formal Logic Ontology (information science)Ontology language Oxford University Press Paraconsistent logic Peirce's law Peirce arrow Principle of excluded middle Principle of explosion Proof-theoretic Proof assistants Proof by contradiction Propositional calculus Propositional formula Propositional logic Quantifier (logic)Realizability Relevance logic Relevance theory Rieger–Nishimura lattice Robert Lee Constable Rocq Saul Kripke Semantic theory of truth Sequent calculus Sheffer stroke Simply typed lambda calculus Smooth infinitesimal analysis Sole sufficient operator Springer Publishing Stanford Encyclopedia of Philosophy Stephen Cole Kleene Structural rule Studia Logica Substructural logic Syllogism Symbolic logic Syntax Tautology (logic)Theory of justification Three-state logic Three-valued logic Tri-state buffer Truth value University of Amsterdam VHDL Valeria de Paiva Valery Glivenko Valuation (logic)Verilog Walter Carnielli Wiley-Blackwell Łukasiewicz logic

26 concepts already in your glossary