Graduate studies at Western
Journal of Philosophical Logic 37 (6):521 - 548 (2008)
|Abstract||The well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations without maximum cuts and normal derivations “are the same”.|
|Keywords||cut elimination normalization|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Luiz Carlos P. D. Pereira (1982). On the Estimation of the Length of Normal Derivations. Akademilitteratur.
Martin Ziegler (2003). Separably Closed Fields with Hasse Derivations. Journal of Symbolic Logic 68 (1):311-318.
Göran Sundholm (2006). Semantic Values for Natural Deduction Derivations. Synthese 148 (3):623 - 638.
Kai Brünnler (2006). Cut Elimination Inside a Deep Inference System for Classical Predicate Logic. Studia Logica 82 (1):51 - 71.
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco (2002). SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. Journal of Symbolic Logic 67 (1):162-196.
Roy Dyckhoff & Luis Pinto (1998). Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Studia Logica 60 (1):107-118.
Linda Postniece, Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic.
Brigitte Hösli & Gerhard Jäger (1994). About Some Symmetries of Negation. Journal of Symbolic Logic 59 (2):473-485.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #294,406 of 757,546 )
Recent downloads (6 months)1 ( #63,427 of 757,546 )
How can I increase my downloads?