A Labelled Deductive System for Relational Semantics of the Lambek Calculus
From MaRDI portal
Recommendations
- Lambek calculus and its relational semantics: Completeness and incompleteness
- On the completeness of the Lambek calculus with respect to relativized relational semantics
- Relational semantics and a relational proof system for full Lambek calculus
- Correspondence results for relational proof systems with application to the Lambek calculus
Cites work
- Completeness Results for Lambek Syntactic Calculus
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- Lambek calculus and its relational semantics: Completeness and incompleteness
- Language in action. Categories, lambdas and dynamic logic
- Powerset Residuated Algebras and Generalized Lambek Calculus
- The Mathematics of Sentence Structure
- Tree models and (labeled) categorial grammar
Cited in
(12)- On the completeness of the Lambek calculus with respect to relativized relational semantics
- Correspondence results for relational proof systems with application to the Lambek calculus
- Semantics of a relational \(\lambda\)-calculus
- Language-theoretic and finite relation models for the (full) Lambek calculus
- Relational models for the Lambek calculus with intersection and unit
- scientific article; zbMATH DE number 1303445 (Why is no real title available?)
- scientific article; zbMATH DE number 510780 (Why is no real title available?)
- scientific article; zbMATH DE number 1735907 (Why is no real title available?)
- Talking about Explicit Databases in Categorial Grammar
- Some 3-Dimensional Systems of Labelled Deduction
- scientific article; zbMATH DE number 1421203 (Why is no real title available?)
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for publication: A Labelled Deductive System for Relational Semantics of the Lambek Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238425)
