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
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9780511625244/resource/name/firstPage-9780511625244ind1_p315-318_CBO.jpg)
- Type
- Chapter
- Information
- Systems of Logic , pp. 315 - 318Publisher: Cambridge University PressPrint publication year: 1989