Pages that link to "Item:Q776989"
From MaRDI portal
The following pages link to The structure of generalized BI-algebras and weakening relation algebras (Q776989):
Displayed 9 items.
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- (Q6110204) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (Q6151561) (← links)
- Representable and diagonally representable weakening relation algebras (Q6174419) (← links)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)