Differences

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

commutative_residuated_partially_ordered_monoids [2010/07/29 15:46]
127.0.0.1 external edit
commutative_residuated_partially_ordered_monoids [2019/06/15 06:34] (current)
jipsen
Line 72: Line 72:
====Subclasses==== ====Subclasses====
-  [[Commutative residuated lattices]] expansion+[[Commutative residuated lattices]] expansion
-  [[Pocrims]] same type+[[Pocrims]] same type
====Superclasses==== ====Superclasses====
-  [[Residuated partially ordered monoids]] supervariety+[[Residuated partially ordered monoids]] supervariety
-  [[Commutative partially ordered monoids]] subreduct+[[Commutative partially ordered monoids]] subreduct