Two extensions of the structurally free logic LC

DOI10.1093/JIGPAL/6.3.403MaRDI QIDQ4392658zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó, J. Michael Dunn

Publication date 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.3.403

zbMATH Keywords

algebraic semanticscombinatorscut eliminationframe semanticsGentzen systemrepresentation theoremsingle-conclusion sequent systemsubstructural logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Sequent systems axiomatizing simple paralogics
• scientific article; zbMATH DE number 5001188
• Monosequent proof systems
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• Cut-free single-succedent systems revisited
• Strict canonical constructive systems
• Combinators and structurally free logic
• Gentzen-like systems for partial propositional calculi. I. II
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics

Cited in

(13)

• Combinator logics
• Distributive-lattice semantics of sequent calculi with structural rules
• Symmetric generalized Galois logics
• A cut-elimination proof in positive relevant logic with necessity
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• Combinatory logic and the semantics of substructural logics
• Semantics for structurally free logics LC+
• scientific article; zbMATH DE number 3557750 (Why is no real title available?)
• The Church-Rosser property in dual combinatory logic
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
• Monosequent proof systems
• Admissibility of cut in LC with fixed point combinator
• Relational semantics for Kleene logic and action logic

This page was built for publication: Two extensions of the structurally free logic LC

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