Generalized Kripke semantics for the Lambek-Grishin calculus

DOI10.1093/jigpal/jzr051zbMath1301.03025OpenAlexW1974240609MaRDI QIDQ4914003

Lorijn van Rooijen, Anna Chernilovskaya, Mai Gehrke

Publication date: 17 April 2013

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

Full work available at URL: https://semanticscholar.org/paper/2615a7647ae85e23db8367ee6098d6801cc85136

zbMATH Keywords

relational semanticssubstructural logiccanonicityLambek-Grishin calculusmodular completeness results

Mathematics Subject Classification ID

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

Related Items (9)

Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ Cover systems for the modalities of linear logic ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Definable operators on stable set lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ Modal translation of substructural logics

This page was built for publication: Generalized Kripke semantics for the Lambek-Grishin calculus