Pages that link to "Item:Q6059121"
From MaRDI portal
The following pages link to Residuated Structures in Algebra and Logic (Q6059121):
Displaying 8 items.
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- On the geometry of associativity. (Q2373422) (← links)
- (Q3634391) (← links)
- (Q4269189) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)