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 7 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)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
