New consecution calculi for \(R^{t}_{\to}\)

DOI10.1215/00294527-1722719zbMath1345.03046MaRDI QIDQ691126

Katalin Bimbó, J. Michael Dunn

Publication date: 29 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1352383228

zbMATH Keywords

sequent calculi; relevance logics; ticket entailment; Ackermann constants; admissibility of cut

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03F05: Cut-elimination and normal-form theorems

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

On the decidability of implicational ticket entailment, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Larisa Maksimova’s Early Contributions to Relevance Logic, Current trends in substructural logics, New consecution calculi for \(R^{t}_{\to}\), A cut-elimination proof in positive relevant logic with necessity, Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment, An alternative Gentzenisation of RW+∘

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New consecution calculi for \(R^{t}_{\to}\)
• Types of I-free hereditary right maximal terms
• Admissibility of cut in LC with fixed point combinator
• Towards a semantic characterization of cut-elimination
• Sentential constants in R and \(R^{\neg}\)
• The first axiomatization of relevant logic
• Untersuchungen über das logische Schliessen. I
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• Combinatory logic. Vol. II
• Begründung einer strengen Implikation
• The undecidability of entailment and relevant implication
• Combinators and structurally free logic
• On the decidability of implicational ticket entailment
• A Decision Procedure For the System E_Ī of Entailment with Negation
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM