A Short Introduction to Intuitionistic Logic

Authors:

ISBN: 978-0-306-46394-5 (Print) 978-0-306-46975-6 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages i-ix

  2. No Access

    Book Chapter

    Pages 1-4

    Introduction

  3. No Access

    Book Chapter

    Pages 7-7

    Preliminaries

  4. No Access

    Book Chapter

    Pages 9-22

    Natural Deduction for Propositional Logic

  5. No Access

    Book Chapter

    Pages 23-24

    Negative Translation: Glivenko’s Theorem

  6. No Access

    Book Chapter

    Pages 25-30

    Program Interpretation of Intuitionistic Logic

  7. No Access

    Book Chapter

    Pages 31-39

    Computations with Deductions

  8. No Access

    Book Chapter

    Pages 41-45

    Coherence Theorem

  9. No Access

    Book Chapter

    Pages 47-52

    Kripke Models

  10. No Access

    Book Chapter

    Pages 53-68

    Gentzen-type Propositional System LJpm

  11. No Access

    Book Chapter

    Pages 69-74

    Topological Completeness

  12. No Access

    Book Chapter

    Pages 75-81

    Proof-search

  13. No Access

    Book Chapter

    Pages 83-87

    System LJp

  14. No Access

    Book Chapter

    Pages 89-91

    Interpolation Theorem

  15. Intuitionistic Predicate Logic

    1. No Access

      Book Chapter

      Pages 95-104

      Natural Deduction System NJ

    2. No Access

      Book Chapter

      Pages 105-108

      Kripke Models for Predicate Logic

    3. No Access

      Book Chapter

      Pages 109-118

      Systems LJm, LJ

    4. No Access

      Book Chapter

      Pages 119-124

      Proof-Search in Predicate Logic

  16. Back Matter

    Pages 125-131