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):
Displaying 11 items.
- Distributive lattices with a generalized implication: topological duality (Q634749) (← links)
- 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)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Stone duality for relations (Q6612781) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)