Pages that link to "Item:Q777891"

The following pages link to Iterative division in the distributive full non-associative Lambek calculus (Q777891):

Displaying 3 items.

• A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
• Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
• Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)