New consecution calculi for \(R^{t}_{\to}\)
From MaRDI portal
Publication:691126
DOI10.1215/00294527-1722719zbMath1345.03046OpenAlexW2082042052MaRDI 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
Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (8)
Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ An alternative Gentzenisation of RW+∘ ⋮ On the decidability of implicational ticket entailment ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment ⋮ A cut-elimination proof in positive relevant logic with necessity ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: New consecution calculi for \(R^{t}_{\to}\)