Pages that link to "Item:Q1314508"
From MaRDI portal
The following pages link to Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508):
Displayed 6 items.
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- Models for the Lambek calculus (Q1899151) (← 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)