Skip to content
Register Sign in Wishlist

Systems of Logic

£37.99

  • Date Published: November 1989
  • availability: Available
  • format: Paperback
  • isbn: 9780521367707

£ 37.99
Paperback

Add to cart Add to wishlist

Other available formats:
eBook


Looking for an inspection copy?

This title is not currently available on inspection

Description
Product filter button
Description
Contents
Resources
Courses
About the Authors
  • 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.

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity

    ×

    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?

    ×

    Product details

    • Date Published: November 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.

  • Author

    Norman M. Martin

Related Books

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
Please note that this file is password protected. You will be asked to input your password on the next screen.

» 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 ×

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

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.

×
Please fill in the required fields in your feedback submission.
×