Systems of logic / Norman M. Martin.

Author
Martin, Norman M. [Browse]
Format
Book
Language
English
Published/​Created
Cambridge ; New York : Cambridge University Press, 1989.
Description
xi, 318 pages ; 24 cm

Availability

Available Online

Copies in the Library

Location Call Number Status Location Service Notes
Forrestal Annex - ABC135 .M325 1989 Browse related items Request

    Details

    Subject(s)
    Summary note
    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. -- Back cover.
    Bibliographic references
    Includes bibliographical references.
    Contents
    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.
    ISBN
    • 0521365899
    • 9780521365895
    • 0521367700 ((pbk.))
    • 9780521367707 ((pbk.))
    LCCN
    88007893
    OCLC
    18876939
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view

    Supplementary Information

    Other versions