.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Methods for Modal and Intuitionistic Logics (Synthese Library)
M. Fitting
€ 252.02
FREE Delivery in Ireland
Description for Proof Methods for Modal and Intuitionistic Logics (Synthese Library)
Paperback. Series: Synthese Library. Num Pages: 555 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
"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 has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a ... Read more
"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 has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer
Condition
New
Series
Synthese Library
Number of Pages
555
Place of Publication
Dordrecht, Netherlands
ISBN
9789048183814
SKU
V9789048183814
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Methods for Modal and Intuitionistic Logics (Synthese Library)