Pages that link to "Item:Q5501771"
From MaRDI portal
The following pages link to UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771):
Displaying 4 items.
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
