Systems of Logic
Systems of Logic
Looking for an examination copy?
This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
$52.00
USDThis 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.
Product details
July 1989Paperback
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.
