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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.