Systems of Logic
$48.99 (P)
- Author: Norman M. Martin
- Date Published: July 1989
- availability: Available
- format: Paperback
- isbn: 9780521367707
$
48.99
(P)
Paperback
Other available formats:
eBook
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.
-
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.
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: July 1989
- format: Paperback
- isbn: 9780521367707
- length: 336 pages
- dimensions: 228 x 152 x 16 mm
- weight: 0.475kg
- availability: 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.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×