10. Intuitionism and Constructive Proof

Kapitel in diesem Buch

1. Frontmatter i
2. Contents v
3. Preface viii
4. 1. Meaning and Logic 1
5. Part I: The Classical Picture
6. 2. Truth Table Logic 15
7. 3. Predicates 33
8. 4. Quantifiers 53
9. 5. Functions: The Lambda Calculus 67
10. Part II: Modality
11. 6. Possibility and Necessity 91
12. 7. Worlds and Individuals 123
13. Part III: Negation and Partiality
14. 8. Many Valued Logics 145
15. 9. Situations and Information 176
16. 10. Intuitionism and Constructive Proof 194
17. Part IV: Substructural Logics and Categorial Grammar
18. 11. Relevance, Resources and Order 223
19. 12. Grammar as Logic 260
20. 13. Combinators 283
21. Bibliography 302
22. Index 310