Dag Prawitz

Natural Deduction

A Proof-Theoretical Study

• Broschiertes Buch

Produktbeschreibung

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Dover Publications
• Seitenzahl: 128
• Erscheinungstermin: 24. Februar 2006
• Englisch
• Abmessung: 195mm x 152mm x 7mm
• Gewicht: 136g
• ISBN-13: 9780486446554
• ISBN-10: 0486446557
• Artikelnr.: 22039332

Inhaltsangabe

1. Natural Deduction of Gentzen-Type 2. The Inversion Principle 3. Normal
Deductions in Classical Logic 4. Normal Deductions in Intuitionistic Logic
5. Second Order Logic 6. Modal Logic 7. Some Other Concepts of Implication
Appendix A. The Calculi of Sequents Appendix B. On a set theory by Fitch
Appendix C. Notes on some other variants of natural deduction
Bibliographical References Index Index of Symbols