Mathematical Logic

  1. Intuitionistic Logic
    1. Philosophical Foundations
      1. Constructive Mathematics
        1. Rejection of Law of Excluded Middle
          1. Brouwer's Intuitionism
          2. Syntax of Intuitionistic Logic
            1. Logical Connectives
              1. Quantifiers
                1. Formation Rules
                2. Semantics of Intuitionistic Logic
                  1. Brouwer-Heyting-Kolmogorov Interpretation
                    1. Kripke Semantics for Intuitionistic Logic
                      1. Topological Semantics
                      2. Proof Theory of Intuitionistic Logic
                        1. Natural Deduction for Intuitionistic Logic
                          1. Sequent Calculus for Intuitionistic Logic
                            1. Cut-Elimination
                            2. Relationship to Classical Logic
                              1. Double Negation Translation
                                1. Gödel-Gentzen Translation
                                  1. Embedding Results

                                Previous

                                9. Modal Logic

                                Go to top

                                Next

                                11. Higher-Order Logic