Differences

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

index.html [2019/06/15 06:32]
jipsen
index.html [2019/07/25 15:03] (current)
jipsen
Line 87: Line 87:
  -[[Commutative BCK-algebras]]   -[[Commutative BCK-algebras]]
  -[[Commutative binars]], **[[Finite commutative binars]], [[Finite commutative binars with identity|with identity]], [[Finite commutative binars with zero|with zero]], [[Finite commutative binars with identity and zero|with identity and zero]]**   -[[Commutative binars]], **[[Finite commutative binars]], [[Finite commutative binars with identity|with identity]], [[Finite commutative binars with zero|with zero]], [[Finite commutative binars with identity and zero|with identity and zero]]**
 +  -[[Commutative idempotent involutive residuated lattices]]
  -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**   -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**
  -[[Commutative inverse semigroups]]   -[[Commutative inverse semigroups]]
Line 138: Line 139:
  -[[Distributive double p-algebras]]   -[[Distributive double p-algebras]]
  -[[Distributive dual p-algebras]]   -[[Distributive dual p-algebras]]
 +  -[[Distributive involutive residuated lattices]]
  -[[Distributive lattice expansions]]   -[[Distributive lattice expansions]]
  -[[Distributive lattices]]   -[[Distributive lattices]]
Line 185: Line 187:
  -[[Hilbert spaces]]   -[[Hilbert spaces]]
  -[[Hoops]]   -[[Hoops]]
 +  -[[Idempotent residuated lattices]]
 +  -[[Idempotent involutive residuated lattices]]
  -[[Idempotent semirings]]   -[[Idempotent semirings]]
  -[[Idempotent semirings with identity]]   -[[Idempotent semirings with identity]]