Proof Theory (PDF)
Sequent Calculi and Related Formalisms
(Sprache: Englisch)
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide...
sofort als Download lieferbar
eBook (pdf)
68.90 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Proof Theory (PDF)“
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. The author presents a variety of proof systems for classical and non-classical logics and devotes chapters to proofs of cut theorems and decidability theorems.
Bibliographische Angaben
- Autor: Katalin Bimbo
- 2014, 1. Auflage, 386 Seiten, Englisch
- Verlag: Taylor & Francis
- ISBN-10: 1466564687
- ISBN-13: 9781466564688
- Erscheinungsdatum: 20.08.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 17 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Proof Theory"
Schreiben Sie einen Kommentar zu "Proof Theory".
Kommentar verfassen