Pages that link to "Item:Q1686325"
From MaRDI portal
The following pages link to Distributive residuated frames and generalized bunched implication algebras (Q1686325):
Displaying 10 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)