Mathematical Logic
Constructive Mathematics
Rejection of Law of Excluded Middle
Brouwer's Intuitionism
Logical Connectives
Quantifiers
Formation Rules
Brouwer-Heyting-Kolmogorov Interpretation
Kripke Semantics for Intuitionistic Logic
Topological Semantics
Natural Deduction for Intuitionistic Logic
Sequent Calculus for Intuitionistic Logic
Cut-Elimination
Double Negation Translation
Gödel-Gentzen Translation
Embedding Results
Previous
9. Modal Logic
Go to top
Next
11. Higher-Order Logic