Differences

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

pocrims [2012/06/16 22:03]
jipsen
pocrims [2012/06/16 22:06] (current)
jipsen
Line 81: Line 81:
[[Polrims]] [[Polrims]]
-[[Commutative partially ordered residuated monoids]]+[[Commutative residuated partially ordered monoids]]
[[BCK-algebras]] reduced type [[BCK-algebras]] reduced type