$LE^{t}{rightarrow}$ , $LR^{circ}{wedgesim}$ , LK and Cutfree Proofs
Journal of Philosophical Logic 36 (5):557 - 570 (2007)
| Abstract | Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique-attributable to Gentzen-that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional inductions. We also give a new purely inductive proof of the cut theorem for the original single cut rule in Gentzen's sequent calculus LK without any use of mix. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
J. L. Schellenberg (2005). The Hiddenness Argument Revisited (II). Religious Studies 41 (3):287 - 303.
H. M. Malm (1989). Commodification or Compensation: A Reply to Ketchum. Hypatia 4 (3):128 - 135.
Peter J. Taylor (1994). Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304 - 310.
Tang Yijie & Yan Xin (2008). The Contemporary Significance of Confucianism. Frontiers of Philosophy in China 3 (4):477 - 501.
Dale Hample, Bing Han & David Payne (2010). The Aggressiveness of Playful Arguments. Argumentation 24 (4):405-421.
Robert Batterman (1992). Quantum Chaos and Semiclassical Mechanics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:50 - 65.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads2 ( #232,382 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
