Natural Deduction: A Proof-Theoretical Study
Graduate studies at Western
Dover Publications (1965)
|Abstract||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.|
|Keywords||Logic Logic, Symbolic and mathematical Modality (Logic|
|Categories||categorize this paper)|
|Buy the book||$5.30 new (47% off) $5.51 used (45% off) $9.45 direct from Amazon (6% off) Amazon page|
|Call number||BC71.P68 2006|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
René David & Karim Nour (2003). A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction. Journal of Symbolic Logic 68 (4):1277-1288.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Jonathan P. Seldin (1986). On the Proof Theory of the Intermediate Logic MH. Journal of Symbolic Logic 51 (3):626-647.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?