Natural Deduction: A Proof-Theoretical Study

by

Natural Deduction: A Proof-Theoretical Study - Prawitz, Dag

An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's ...

Currently there are no rare copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.
Natural Deduction: A Proof-Theoretical Study 2006, Dover Publications, Mineola, NY

ISBN-13: 9780486446554

Trade paperback

Select