Pages that link to "Item:Q4238425"
From MaRDI portal
The following pages link to A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425):
Displaying 9 items.
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953) (← links)
- Semantics of a relational \(\lambda\)-calculus (Q2037950) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- (Q4281253) (← links)
- Talking about Explicit Databases in Categorial Grammar (Q4842278) (← links)
- Some 3-Dimensional Systems of Labelled Deduction (Q4842281) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902055) (← links)