The following pages link to (Q5693622):
Displayed 4 items.
- Generalized MV-algebras (Q1770501) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)