Differences

This shows you the differences between two versions of the page.

hoops [2018/08/04 15:32]
jipsen
hoops [2018/08/04 15:39] (current)
jipsen
Line 60: Line 60:
====Basic results==== ====Basic results====
 +
 +Finite hoops are the same as [[generalized BL-algebras]] (= divisible residuated lattices) since the join always exists in a finite meet-semilattice with top, and since all finite GBL-algebras are commutative and integral.
====Properties==== ====Properties====