Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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
Cambridge Core All Books
Copies in the Library
Location
Call Number
Status
Location Service
Notes
Forrestal Annex - A
BC135 .M325 1989
Browse related items
Request
Details
Subject(s)
Logic, Symbolic and mathematical
[Browse]
Logic
[Browse]
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Systems of logic / Norman M. Martin.
id
99113551833506421
Systems of logic / Norman M. Martin.
id
SCSB-2738976