Normal derivations and sequent derivations
Journal of Philosophical Logic 37 (6) (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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLuiz 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.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
