Norman M. Martin

Systems of Logic

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 336
• Erscheinungstermin: 28. Februar 2009
• Englisch
• Abmessung: 229mm x 152mm x 20mm
• Gewicht: 547g
• ISBN-13: 9780521367707
• ISBN-10: 0521367700
• Artikelnr.: 22248653

Inhaltsangabe

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.