Admissibility of cut in LC with fixed point combinator
From MaRDI portal
Publication:817697
DOI10.1007/s11225-005-4651-yzbMath1089.03012MaRDI QIDQ817697
Publication date: 17 March 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-4651-y
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B40: Combinatory logic and lambda calculus
Related Items
RELEVANCE LOGICS AND RELATION ALGEBRAS, \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
Uses Software
Cites Work