Pages that link to "Item:Q3677747"
From MaRDI portal
The following pages link to A Completeness Theorem for the Lambek Calculus of Syntactic Categories (Q3677747):
Displaying 8 items.
- On finite models of the Lambek calculus (Q813074) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Language in action (Q1177646) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
