Differences

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

index.html [2019/03/28 14: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]]
 +  -[[Commutative involutive FL-algebras]]
 +  -[[Commutative involutive residuated posets]]
  -[[Commutative lattice-ordered monoids]]   -[[Commutative lattice-ordered monoids]]
  -[[Commutative lattice-ordered rings]]   -[[Commutative lattice-ordered rings]]
Line 121: Line 124:
  -[[Continuous posets]]   -[[Continuous posets]]
  -[[Cyclic involutive FL-algebras]]   -[[Cyclic involutive FL-algebras]]
 +  -[[Cyclic involutive residuated posets]]
  -[[Cylindric algebras]]   -[[Cylindric algebras]]
  -[[De Morgan algebras]]   -[[De Morgan algebras]]
Line 135: 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 182: 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]]
Line 198: Line 205:
  -[[Involutive lattices]]   -[[Involutive lattices]]
  -[[Involutive FL-algebras|Involutive residuated lattices]]   -[[Involutive FL-algebras|Involutive residuated lattices]]
 +  -[[Involutive residuated posets]]
  -[[Join-semidistributive lattices]]   -[[Join-semidistributive lattices]]
  -[[Semilattices|Join-semilattices]]   -[[Semilattices|Join-semilattices]]
Line 250: Line 258:
  -[[Near-rings with identity]]   -[[Near-rings with identity]]
  -[[Near-fields]]   -[[Near-fields]]
 +  -[[Neofields]]
  -[[Nilpotent groups]]   -[[Nilpotent groups]]
  -[[Nonassociative relation algebras]]   -[[Nonassociative relation algebras]]
Line 319: Line 328:
  -[[Residuated partially ordered monoids]]   -[[Residuated partially ordered monoids]]
  -[[Residuated partially ordered semigroups]]   -[[Residuated partially ordered semigroups]]
 +  -[[Residuated partially ordered monoids|Residuated posets]]
  -[[Right residuated binars]]   -[[Right residuated binars]]
  -[[Right hoops]]   -[[Right hoops]]