Systems of Logic
Systems of Logic
Norman M. Martin
January 1990
Available
Paperback
9780521367707
AUD$73.95
inc GSTPaperback
USD
eBook
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.
Product details
January 1990Paperback
9780521367707
336 pages
228 × 152 × 16 mm
0.475kg
Available
Table of 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: addition 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.
