Semantics for structurally free logics LC+

DOI10.1093/JIGPAL/9.4.525MaRDI QIDQ2743637zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó

Publication date 6 June 2002

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

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

zbMATH Keywords

relational semanticsKripke semanticsalgebraic semanticslattice representationcombinatorsstructurally free logicsnon-distributive logicsfilter-ideal pairspositive substructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10)

Recommendations

• Two extensions of the structurally free logic LC
• scientific article; zbMATH DE number 125238
• Combinators and structurally free logic
• Combinator logics
• Combinatory logic and the semantics of substructural logics

Cited in

(9)

• Semantic trees for Dummett's logic LC
• Current trends in substructural logics
• Semantics for dual and symmetric combinatory calculi
• Admissibility of cut in LC with fixed point combinator
• Four-valued logic
• St. Alasdair on Lattices Everywhere
• Symmetric generalized Galois logics
• Relational semantics for Kleene logic and action logic
• Note on Structural Logics

This page was built for publication: Semantics for structurally free logics LC+

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