.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Methods for Modal and Intuitionistic Logics
M. Fitting
€ 260.47
FREE Delivery in Ireland
Description for Proof Methods for Modal and Intuitionistic Logics
Hardback. Series: Synthese Library. Num Pages: 555 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 31. Weight in Grams: 968.
"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
Hardback
Publication date
1983
Publisher
Springer Netherlands
Number of pages
555
Condition
New
Series
Synthese Library
Number of Pages
555
Place of Publication
Dordrecht, Netherlands
ISBN
9789027715739
SKU
V9789027715739
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Methods for Modal and Intuitionistic Logics