✦ LIBER ✦

A deficiency of natural deduction

✍ Scribed by J.G. Wiltink

Book ID: 113163091
Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 108 KB
Volume: 25
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(87)90166-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on “a deficiency of natural ded

Comments on “a deficiency of natural deduction” [1]

✍ H. Balsters 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 84 KB

A Natural Extension of Natural Deduction

✍ Peter Schroeder-Heister 📂 Article 📅 1984 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB

A Many-Sorted Natural Deduction

✍ A. Cimatti; F. Giunchiglia; R. W. Weyhrauch 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB

A Brief History of Natural Deduction

✍ PELLETIER, FRANCIS JEFFRY 📂 Article 📅 1999 🏛 Taylor and Francis Group 🌐 English ⚖ 493 KB

A Further Note on Natural Deduction

✍ E. J. Lemmon 📂 Article 📅 1965 🏛 Oxford University Press 🌐 English ⚖ 557 KB

Natural Deduction: A Proof-Theoretical S

Natural Deduction: A Proof-Theoretical Study

✍ Prawitz D. 📂 Library 📅 2006 🌐 English ⚖ 4 MB

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form - a concept with significant implications to proof-theoretic semantics.