This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.
Author(s): Norman M. Martin
Publisher: Cambridge University Press
Year: 1989
Language: English
Pages: 333
Title ......Page 3
Copyright ......Page 4
Contents ......Page 7
Preface ......Page 9
1. Formal Systems and Structure Theory ......Page 13
2. Zero-Order Logic: Proof Theory ......Page 28
3. Zero-Order Model Theory ......Page 50
4. Positive Implication ......Page 69
5. Negation ......Page 84
6. Complete Implication-Negation Logic ......Page 103
7. Disjunction ......Page 123
8. Conjunction ......Page 143
9. Multi-Connective Systems ......Page 158
10. Strict Implications: Introduction ......Page 192
11. Strict Implications: Additional Results ......Page 218
12. Quantification and First-Order Logic ......Page 250
13. Quantification and Complete Logics ......Page 272
14. Quantification and Incomplete Logics ......Page 297
15. Interpretation of Formal Systems ......Page 306
Appendix - Historical and Bibliographical Remarks ......Page 315
Subject Index ......Page 327
Index of Systems ......Page 331
Index of Symbols ......Page 332
