On the completeness of the Lambek calculus with respect to relativized relational semantics
From MaRDI portal
(Redirected from Publication:1337611)
Recommendations
- Lambek calculus and its relational semantics: Completeness and incompleteness
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus
- scientific article; zbMATH DE number 475195
- Language-theoretic and finite relation models for the (full) Lambek calculus
- scientific article; zbMATH DE number 1567840
Cites work
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- A Completeness Theorem for the Lambek Calculus of Syntactic Categories
- Completeness Results for Lambek Syntactic Calculus
- scientific article; zbMATH DE number 4135922 (Why is no real title available?)
- Language in action
- The Mathematics of Sentence Structure
Cited in
(14)- Algebraic structures in categorial grammar
- Lambek calculus and its relational semantics: Completeness and incompleteness
- Models for the Lambek calculus
- Semantics of a relational \(\lambda\)-calculus
- Correction to: ``Lambek calculus with conjugates
- Language-theoretic and finite relation models for the (full) Lambek calculus
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus
- Completeness Results for Lambek Syntactic Calculus
- Relational semantics and a relational proof system for full Lambek calculus
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus
- scientific article; zbMATH DE number 475195 (Why is no real title available?)
- Relational semantics of the Lambek calculus extended with classical propositional logic
- L-Completeness of the Lambek Calculus with the Reversal Operation
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for publication: On the completeness of the Lambek calculus with respect to relativized relational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337611)
