Vector spaces as Kripke frames

MaRDI QIDQ5869716zbMATH OpenFDO

Authors Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis

Publication date 28 September 2022

Full work available at URL https://arxiv.org/abs/1908.05528

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• Semantic vector models and functional models for pregroup grammars
• Generalized Kripke semantics for the Lambek-Grishin calculus

Cited in

(4)

• Algebraic proof theory for LE-logics
• Putting a spin on language: a quantum interpretation of unary connectives for linguistic applications
• Correspondence theory on vector spaces
• Frame theory for binary vector spaces

This page was built for publication: Vector spaces as Kripke frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869716)