Natural Deduction A Proof-Theoretical Study
, by Prawitz, Dag- ISBN: 9780486446554 | 0486446557
- Cover: Paperback
- Copyright: 2/24/2006
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.