KnowraIntuitionistic logicLinked fromLinked fromThe 41 pages that link to Intuitionistic logic, each with the reason it gives.All 41Broader topic 1Related 13Compared with 27Natural deductionRelated: Natural deduction gives intuitionistic logic a direct interpretation of connectives through their proof rules.Sequent calculusRelated: Its sequent calculus restricts conclusions to capture constructive reasoning.Modus ponensRelated: Modus ponens remains valid even though some classical inference principles do not.Curry–Howard correspondenceRelated: The standard proposition–type interpretation captures intuitionistic rather than unrestricted classical reasoning.Constructive proofRelated: Its interpretation of existence connects proving a claim with constructing evidence for it.Constructive mathematicsRelated: Its proof rules formalize a major logical foundation for constructive mathematics.L. E. J. BrouwerRelated: It formalizes the proof principles associated with Brouwer’s intuitionism.Heyting algebraRelated: Heyting algebras interpret its connectives while preserving intuitionistic validity.ConstructivismRelated: It supplies a formal logic commonly used to express constructivist standards.Disjunction eliminationRelated: Disjunction elimination remains valid constructively, with evidence handled by cases.Cut-elimination theoremRelated: Gentzen proved cut elimination for intuitionistic as well as classical sequent calculus.Deduction theoremRelated: The theorem holds in standard intuitionistic systems, but does not grant classical reasoning.Cartesian closed categoryRelated: The internal logic of a cartesian closed category interprets implication intuitionistically.