Dover Publications (1965)
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.38 new (51% off) $5.61 used (49% off) $9.95 direct from Amazon (10% off) Amazon page|
|Call number||BC71.P68 2006|
References found in this work BETA
No references found.
Citations of this work BETA
Arbitrary Reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Hegel's Dialectics as a Semantic Theory: An Analytic Reading.Francesco Berto - 2007 - European Journal of Philosophy 15 (1):19–39.
Similar books and articles
A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction.René David & Karim Nour - 2003 - Journal of Symbolic Logic 68 (4):1277-1288.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2007 - Journal of Logic, Language and Information 16 (1):35-61.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford University Press.
Added to index2009-01-28
Total downloads39 ( #125,368 of 2,076,617 )
Recent downloads (6 months)6 ( #134,366 of 2,076,617 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.