Models for the Lambek calculus
From MaRDI portal
Publication:1899151
DOI10.1016/0168-0072(94)00063-9zbMath0829.03022OpenAlexW1975812803MaRDI QIDQ1899151
Publication date: 4 October 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(94)00063-9
Related Items (14)
Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Language models for some extensions of the Lambek calculus ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Categorial Grammars and Their Logics ⋮ Unnamed Item ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Unnamed Item ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Type logics and pregroups ⋮ L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents ⋮ Unnamed Item ⋮ Extensions of Lambek Calculi
Cites Work
- Unnamed Item
- Language in action. Categories, lambdas and dynamic logic
- Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
- Lambek calculus and its relational semantics: Completeness and incompleteness
- On the completeness of the Lambek calculus with respect to relativized relational semantics
- Lambek calculus is NP-complete
- The Mathematics of Sentence Structure
- A Completeness Theorem for the Lambek Calculus of Syntactic Categories
- Completeness Results for Lambek Syntactic Calculus
- Compatibility of a Categorial Grammar With an Associated Category System
- Some Decision Problems in the Theory of Syntactic Categories
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
This page was built for publication: Models for the Lambek calculus
