Pages that link to "Item:Q2695358"
From MaRDI portal
The following pages link to Relational models for the Lambek calculus with intersection and unit (Q2695358):
Displaying 4 items.
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Unitless Frobenius quantales (Q2680596) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)