Proof Methods for Modal and Intuitionistic Logics

Fitting, Melvin:

ISBN 10: 9027715734 / ISBN 13: 9789027715739

Editore: Dordrecht : Reidel, 1983

Riguardo questo articolo

VIII, 555 Pages Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband mit leichten Gebrauchsspuren. Englische Sprache - Original Hardboard with Library label. Inside with Library stamps, in good condition. Cover hardly used. English Language B11-02-01Z|S31 Sprache: Englisch Gewicht in Gramm: 885.

Codice articolo 71125

Dati bibliografici

• Titolo: Proof Methods for Modal and Intuitionistic Logics
• Editore: Dordrecht : Reidel
• Data di pubblicazione: 1983
• Lingua: Inglese
• ISBN 10: 9027715734
• ISBN 13: 9789027715739
• Rilegatura: 22,5 x 15,5 cm
• Edizione: Synthese Library 169.
• Condizione: Gut
• Peso: 885 grammi
• Cataloghi dei venditori:
  • Modernes Antiquariat

Descrizione articolo

Riassunto

"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 similar variety of proof procedures for an even larger number of regular, non-normal modal logics (many introduced by Lemmon). We also consider some quasi-regular logics, including S2 and S3. Virtually all of these proof procedures are studied in both propositional and first-order versions (generally with and without the Barcan formula). Finally, we present the full variety of proof methods for Intuitionistic logic (and of course Classical logic too). We actually give two quite different kinds of tableau systems for the logics we consider, two kinds of Gentzen sequent calculi, and two kinds of natural deduction systems. Each of the two tableau systems has its own uses; each provides us with different information about the logics involved. They complement each other more than they overlap. Of the two Gentzen systems, one is of the conventional sort, common in the literature.

Contenuti

One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.