Studia Logica 56 (3):419 - 426 (1996)
A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Citations of this work BETA
1996-1997 Winter Meeting of the Association for Symbolic Logic.Alexander S. Kechris - 1997 - Bulletin of Symbolic Logic 3 (3):367-377.
Similar books and articles
Does Functional Reduction Need Bridge Laws? A Response to Marras.Kevin Morris - 2009 - British Journal for the Philosophy of Science 60 (3):647-657.
Entanglement, Joint Measurement, and State Reduction.Alan Macdonald - 2003 - International Journal of Theoretical Physics 42:943-953.
Models of Reduction and Categories of Reductionism.Sahotra Sarkar - 1992 - Synthese 91 (3):167-94.
Reduction to First Degree in Quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.
On Reduction Systems Equivalent to the Lambek Calculus with the Empty String.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Remarks on the Church-Rosser Property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
Upper Bounds for Standardizations and an Application.Hongwei Xi - 1999 - Journal of Symbolic Logic 64 (1):291-303.
Added to index2009-01-28
Total downloads23 ( #217,445 of 2,163,647 )
Recent downloads (6 months)1 ( #348,043 of 2,163,647 )
How can I increase my downloads?