Generalized Kripke semantics for the Lambek-Grishin calculus
From MaRDI portal
Publication:4914003
Recommendations
- Relational semantics for the Lambek-Grishin calculus
- Proof-theoretic aspects of the Lambek-Grishin calculus
- Relational semantics and a relational proof system for full Lambek calculus
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Lambek calculus and its relational semantics: Completeness and incompleteness
Cited in
(16)- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Canonical extensions and ultraproducts of polarities
- Definable operators on stable set lattices
- Algorithmic correspondence and canonicity for non-distributive logics
- B-frame duality
- Semantic characterization of Kracht formulas
- Proof-theoretic aspects of the Lambek-Grishin calculus
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus
- De Morgan interpretation of the Lambek-Grishin calculus
- Relational semantics for the Lambek-Grishin calculus
- scientific article; zbMATH DE number 1067867 (Why is no real title available?)
- Modal translation of substructural logics
- Vector spaces as Kripke frames
- Choice-free topological duality for implicative lattices and Heyting algebras
- Cover systems for the modalities of linear logic
This page was built for publication: Generalized Kripke semantics for the Lambek-Grishin calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4914003)
