Vector spaces equipped with a bilinear product are shown to form Kripke-style frames whose subspace lattices are complete residuated lattices, yielding a complete vector space semantics for the modal non-associative Lambek calculus.
Goldblatt-Thomason for LE-logics
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We prove a uniform version of the Goldblatt-Thomason theorem for logics algebraically captured by normal lattice expansions (normal LE-logics).
fields
cs.LO 1years
2019 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Vector spaces as Kripke frames
Vector spaces equipped with a bilinear product are shown to form Kripke-style frames whose subspace lattices are complete residuated lattices, yielding a complete vector space semantics for the modal non-associative Lambek calculus.