Differences
This shows you the differences between two versions of the page.
|
integral_residuated_lattices [2016/10/30 12:18] jipsen |
integral_residuated_lattices [2016/10/30 12:19] (current) jipsen |
||
|---|---|---|---|
| Line 58: | Line 58: | ||
| ====Subclasses==== | ====Subclasses==== | ||
| - | [[commutative integral residuated lattices]] | + | [[commutative integral residuated lattices]] |
| - | [[bounded integral residuated lattices]] | + | [[bounded integral residuated lattices]] |
| ====Superclasses==== | ====Superclasses==== | ||
| - | [[residuated lattices]] | + | [[residuated lattices]] |
| - | [[integral lattice-ordered monoids]] | + | [[integral lattice-ordered monoids]] |
Trace:
