Skip to content
Scan a barcode
Scan
Paperback Proof Methods for Modal and Intuitionistic Logics Book

ISBN: 9048183812

ISBN13: 9789048183814

Proof Methods for Modal and Intuitionistic Logics

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that...

Recommended

Format: Paperback

Condition: New

$219.99
50 Available
Ships within 2-3 days

Related Subjects

Philosophy

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured