New consecution calculi for \(R^{t}_{\to}\)
type: Item
instance of: scholarly article
title: New consecution calculi for \(R^{t}_{\to}\)
zbMATH Open document ID: 1345.03046
DOI: 10.1215/00294527-1722719
author: Katalin Bimbó
author: J. Michael Dunn
published in: Notre Dame Journal of Formal Logic
publication date: 2012-11-29T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1352383228
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 6111347
zbMATH Keywords: relevance logics
zbMATH Keywords: Ackermann constants
zbMATH Keywords: sequent calculi
zbMATH Keywords: admissibility of cut
zbMATH Keywords: ticket entailment
MaRDI profile type: Publication
OpenAlex ID: W2082042052
cites work: Begründung einer strengen Implikation
cites work: Q4085699
cites work: Q4297115
cites work: A Decision Procedure For the System EĪ of Entailment with Negation
cites work: Admissibility of cut in LC with fixed point combinator
cites work: Types of I-free hereditary right maximal terms
cites work: \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
cites work: Q3599059
cites work: Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
cites work: On the decidability of implicational ticket entailment
cites work: Towards a semantic characterization of cut-elimination
cites work: Q4178997
cites work: Combinatory logic. Vol. II
cites work: The first axiomatization of relevant logic
cites work: TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
cites work: Q4342081
cites work: Combinators and structurally free logic
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q4532199
cites work: Q4077983
cites work: Sentential constants in R and \(R^{\neg}\)
cites work: Q4428879
cites work: Q4103076
cites work: Q3701398
cites work: The undecidability of entailment and relevant implication
description: scientific article; zbMATH DE number 6111347