Vector spaces as Kripke frames

MaRDI QIDQ5869716FDOQ5869716

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

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (3)

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

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)