Relational models for the Lambek calculus with intersection and unit

DOI10.1007/978-3-030-88701-8_16OpenAlexW3208986555MaRDI QIDQ2695358

Stepan Kuznetsov

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_16

zbMATH Keywords

completenessrelational semanticsLambek calculus

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Unitless Frobenius quantales ⋮ Relational Models for the Lambek Calculus with Intersection and Constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The equational theories of representable residuated semigroups
• Axiomatizability of positive algebras of binary relations
• Iterative division in the distributive full non-associative Lambek calculus
• Residuated lattices. An algebraic glimpse at substructural logics
• Infinitary action logic: complexity, models and grammars
• Lambek calculus and its relational semantics: Completeness and incompleteness
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Lower semilattice-ordered residuated semigroups and substructural logics
• Language models for some extensions of the Lambek calculus
• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
• The Mathematics of Sentence Structure
• Logics without the contraction rule
• On the Complexity of the Equational Theory of Relational Action Algebras

This page was built for publication: Relational models for the Lambek calculus with intersection and unit