Models for the Lambek calculus

DOI10.1016/0168-0072(94)00063-9MaRDI QIDQ1899151zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(18)

• Logical Aspects of Computational Linguistics
• Bracket induction for Lambek calculus with bracket modalities
• Categorial grammars and their logics
• Relational Models for the Lambek Calculus with Intersection and Constants
• Language-theoretic and finite relation models for the (full) Lambek calculus
• scientific article; zbMATH DE number 7454911 (Why is no real title available?)
• Type logics and pregroups
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Extensions of Lambek calculi
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Language models for some extensions of the Lambek calculus
• \(L\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
• scientific article; zbMATH DE number 7453972 (Why is no real title available?)
• Grammars based on a logic of hypergraph languages
• Numeration Models of λ‐Calculus
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)

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)