Pages that link to "Item:Q1686325"
From MaRDI portal
The following pages link to Distributive residuated frames and generalized bunched implication algebras (Q1686325):
Displaying 12 items.
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- The convolution algebra (Q1652865) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- (Q4553286) (← links)
- (Q5027056) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- (Q5111325) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Representable and diagonally representable weakening relation algebras (Q6174419) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)