Admissibility of cut in LC with fixed point combinator

DOI10.1007/S11225-005-4651-YMaRDI QIDQ817697zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó

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

zbMATH Keywords

substructural logicscut ruleCombinatory logicfixed point combinatorstructurally free logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Recommendations

• On structure and extensionality of fixed-point combinators in CL\(w\)
• Two extensions of the structurally free logic LC
• Non-existent Statman's double fixed point combinator does not exist, indeed
• Combinators and structurally free logic
• An untyped higher order logic with Y combinator

Cites work

• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 192881 (Why is no real title available?)
• scientific article; zbMATH DE number 3566816 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Combinator logics
• Combinators and structurally free logic
• Semantics for structurally free logics LC+
• Two extensions of the structurally free logic LC

Cited in

(6)

• On the decidability of implicational ticket entailment
• Current trends in substructural logics
• New consecution calculi for \(R^{t}_{\to}\)
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• The optimal fixed point combinator
• RELEVANCE LOGICS AND RELATION ALGEBRAS

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Admissibility of cut in LC with fixed point combinator

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