Book contents
- Frontmatter
- Contents
- Preface
- 1 Formal Systems and Structure Theory
- 2 Zero-Order Logic: Proof Theory
- 3 Zero-Order Model Theory
- 4 Positive Implication
- 5 Negation
- 6 Complete Implication-Negation Logic
- 7 Disjunction
- 8 Conjunction
- 9 Multi-Connective Systems
- 10 Strict Implications: Introduction
- 11 Strict Implications: Additional Results
- 12 Quantification and First-Order Logic
- 13 Quantification and Complete Logics
- 14 Quantification and Incomplete Logics
- 15 Interpretation of Formal Systems
- Appendix: Historical and Bibliographical Remarks
- Subject Index
- Index of Systems
- Index of Symbols
- Frontmatter
- Contents
- Preface
- 1 Formal Systems and Structure Theory
- 2 Zero-Order Logic: Proof Theory
- 3 Zero-Order Model Theory
- 4 Positive Implication
- 5 Negation
- 6 Complete Implication-Negation Logic
- 7 Disjunction
- 8 Conjunction
- 9 Multi-Connective Systems
- 10 Strict Implications: Introduction
- 11 Strict Implications: Additional Results
- 12 Quantification and First-Order Logic
- 13 Quantification and Complete Logics
- 14 Quantification and Incomplete Logics
- 15 Interpretation of Formal Systems
- Appendix: Historical and Bibliographical Remarks
- Subject Index
- Index of Systems
- Index of Symbols
Summary
- Type
- Chapter
- Information
- Systems of Logic , pp. 131 - 145Publisher: Cambridge University PressPrint publication year: 1989