Pages that link to "Item:Q2182567"
From MaRDI portal
The following pages link to Structure theorems for idempotent residuated lattices (Q2182567):
Displaying 21 items.
- The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- On semiconic idempotent commutative residuated lattices (Q776990) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- The structure of finite commutative idempotent involutive residuated lattices (Q2238026) (← links)
- Variety generated by conical residuated lattice-ordered idempotent monoids (Q2416382) (← links)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Totally ordered idempotent residuated lattices (Q2887809) (← links)
- The structure of idempotent residuated chains (Q3070134) (← links)
- The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices (Q3454727) (← links)
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES (Q3601329) (← links)
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests (Q5098709) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Uninorms internal on one or more non-trivial cuts (Q6068670) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Semilinear idempotent distributive \(\ell\)-monoids (Q6199094) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)