Models for the Lambek calculus

DOI10.1016/0168-0072(94)00063-9zbMATH Open0829.03022OpenAlexW1975812803MaRDI QIDQ1899151FDOQ1899151

Mati Pentus

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

zbMATH Keywords

completenessLambek calculusfree semigroup modelsrelativized relational models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• Some Decision Problems in the Theory of Syntactic Categories
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Language in action. Categories, lambdas and dynamic logic
• Completeness Results for Lambek Syntactic Calculus
• Compatibility of a Categorial Grammar With an Associated Category System
• Lambek calculus and its relational semantics: Completeness and incompleteness
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• On the completeness of the Lambek calculus with respect to relativized relational semantics
• Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
• Title not available (Why is that?)

Cited In (18)

• Logical Aspects of Computational Linguistics
• Extensions of Lambek Calculi
• Bracket induction for Lambek calculus with bracket modalities
• L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
• Relational Models for the Lambek Calculus with Intersection and Constants
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Title not available (Why is that?)
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Type logics and pregroups
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Language models for some extensions of the Lambek calculus
• Title not available (Why is that?)
• Grammars based on a logic of hypergraph languages
• Numeration Models of λ‐Calculus
• Categorial Grammars and Their Logics
• Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Title not available (Why is that?)

This page was built for publication: Models for the Lambek calculus

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