\(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs

DOI10.1007/s10992-007-9048-0zbMath1129.03033OpenAlexW40425547MaRDI QIDQ2454875

Katalin Bimbó

Publication date: 22 October 2007

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-007-9048-0

zbMATH Keywords

cut eliminationrelevance logicsstructurally free logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ On the decidability of implicational ticket entailment ⋮ New consecution calculi for \(R^{t}_{\to}\)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissibility of cut in LC with fixed point combinator
• Combinators and structurally free logic
• Two extensions of the structurally free logic LC
• A Decision Procedure For the System E_Ī of Entailment with Negation

This page was built for publication: \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs