Semantics for structurally free logics LC+

DOI10.1093/jigpal/9.4.525zbMath0986.03019OpenAlexW2168035307MaRDI QIDQ2743637

Katalin Bimbó

Publication date: 6 June 2002

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

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

zbMATH Keywords

relational semanticsalgebraic semanticsKripke semanticscombinatorslattice representationstructurally free logicsnon-distributive logicsfilter-ideal pairspositive substructural logics

Mathematics Subject Classification ID

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

Related Items (6)

Current trends in substructural logics ⋮ Symmetric generalized Galois logics ⋮ Four-valued logic ⋮ St. Alasdair on Lattices Everywhere ⋮ Admissibility of cut in LC with fixed point combinator ⋮ Relational semantics for Kleene logic and action logic

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