New consecution calculi for R^t_

DOI10.1215/00294527-1722719zbMATH Open1345.03046OpenAlexW2082042052MaRDI QIDQ691126FDOQ691126

Authors: 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

Recommendations

• On the decidability of implicational ticket entailment
• \(TW_+\) and \(RW_+\) are decidable
• A cut-free sequent calculus for relevant logic RW
• scientific article; zbMATH DE number 1248086
• scientific article; zbMATH DE number 1941930

zbMATH Keywords

relevance logicssequent calculiticket entailmentAckermann constantsadmissibility of cut

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• 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
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinators and structurally free logic
• On the decidability of implicational ticket entailment
• A Decision Procedure For the System E_Ī of Entailment with Negation
• New consecution calculi for \(R^{t}_{\to}\)
• Admissibility of cut in LC with fixed point combinator
• Title not available (Why is that?)
• Combinatory logic. Vol. II
• Towards a semantic characterization of cut-elimination
• Title not available (Why is that?)
• Begründung einer strengen Implikation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sentential constants in R and \(R^{\neg}\)
• The first axiomatization of relevant logic
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
• Types of I-free hereditary right maximal terms

Cited In (13)

• Current trends in substructural logics
• Types of I-free hereditary right maximal terms
• New consecution calculi for \(R^{t}_{\to}\)
• \(TW_+\) and \(RW_+\) are decidable
• 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 \(\mathsf{RW}_+^\circ\)
• A cut-elimination proof in positive relevant logic with necessity
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• Larisa Maksimova’s Early Contributions to Relevance Logic
• From Hilbert proofs to consecutions and back
• Issues in machine-checking the decidability of implicational ticket entailment
• Title not available (Why is that?)
• On the decidability of implicational ticket entailment

This page was built for publication: New consecution calculi for \(R^{t}_{\to}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q691126)