Relational Models for the Lambek Calculus with Intersection and Constants
From MaRDI portal
Publication:6178715
DOI10.46298/LMCS-19(4:32)2023arXiv2210.00654OpenAlexW4389923201MaRDI QIDQ6178715
Publication date: 16 January 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.00654
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relational semantics for full linear logic
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- The equational theories of representable residuated semigroups
- Linear logic
- Internal axioms for domain semirings
- 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
- Decision problems for propositional linear logic
- Lambek calculus and its relational semantics: Completeness and incompleteness
- Dialectica categories for the Lambek calculus
- Models for the Lambek calculus
- Linear Läuchli semantics
- Infinitary action logic with exponentiation
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Lower semilattice-ordered residuated semigroups and substructural logics
- Language-theoretic and finite relation models for the (full) Lambek calculus
- The finite model property for BCI and related systems
- Language models for some extensions of the Lambek calculus
- Relational models for the Lambek calculus with intersection and unit
- Undecidability of the Lambek Calculus with a Relevant Modality
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
- The Mathematics of Sentence Structure
- Logics without the contraction rule
- Completeness Results for Lambek Syntactic Calculus
- Algebraizable logics
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Trivalent logics arising from L-models for the Lambek calculus with constants
- Subexponentials in non-commutative linear logic
- On the Complexity of the Equational Theory of Relational Action Algebras
- Intuitionistic phase semantics is almost classical
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- On phase semantics and denotational semantics: The exponentials
This page was built for publication: Relational Models for the Lambek Calculus with Intersection and Constants
