Pages that link to "Item:Q1337611"
From MaRDI portal
The following pages link to On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611):
Displaying 13 items.
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Semantics of a relational \(\lambda\)-calculus (Q2037950) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
- Completeness Results for Lambek Syntactic Calculus (Q3724306) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- (Q4273432) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902055) (← links)