Journal of Philosophical Logic 36 (5):557-570 (2007)

Authors
Katalin Bimbo
University of Alberta
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 admissible rule  classical logic  mix  multiple induction  relevance logics  sequent calculi  single cut rule  structurally free logics
Categories (categorize this paper)
DOI 10.1007/s10992-007-9048-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,856
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Combinators and Structurally Free Logic.J. Dunn & R. Meyer - 1997 - Logic Journal of the IGPL 5 (4):505-537.

View all 8 references / Add more references

Citations of this work BETA

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
A Cut-Free Sequent Calculus for Relevant Logic RW.M. Ili & B. Bori I. - 2014 - Logic Journal of the IGPL 22 (4):673-695.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
33 ( #308,813 of 2,401,722 )

Recent downloads (6 months)
4 ( #198,273 of 2,401,722 )

How can I increase my downloads?

Downloads

My notes