The Unprovability of Consistency

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

65,35 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.

Inhaltsverzeichnis

1. G and other normal modal propositional logics; 2. Peano Arithmetic; 3. The box as Bew; 4. Some applications of G; 5. Semantics for G and other modal logics; 6. Canonical models; 7. The completeness and decidability of G; 8. Trees for G; 9. Calculating the truth-values of fixed points; 10. Rosser's theorem; 11. The fixed-point theorem; 12. Solovay's completeness theorems; 13. An S4-preserving proof-theoretical treatment of modality; 14. The Craig Interpolation Lemma for G.

Details

Erscheinungsjahr:	2008
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521092975
ISBN-10:	0521092973
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Boolos, George
Hersteller:	Cambridge University Press
Maße:	216 x 140 x 11 mm
Von/Mit:	George Boolos
Erscheinungsdatum:	30.08.2008
Gewicht:	0,254 kg

Artikel-ID: 101713363

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2008
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
ISBN-13:	9780521092975
ISBN-10:	0521092973
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Boolos, George
Hersteller:	Cambridge University Press
Maße:	216 x 140 x 11 mm
Von/Mit:	George Boolos
Erscheinungsdatum:	30.08.2008
Gewicht:	0,254 kg