Differences

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

index.html [2018/08/04 18:12]
jipsen
index.html [2019/07/25 15:03] (current)
jipsen
Line 56: Line 56:
  -[[Bilattices]]   -[[Bilattices]]
  -[[Bilinear algebras]]   -[[Bilinear algebras]]
-  -[[Basic logic algebras|BL-algebras]] 
  -[[Binars]], **[[Finite binars]], [[Finite binars with identity|with identity]], [[Finite binars with zero|with zero]], [[Finite binars with identity and zero|with identity and zero]]**,   -[[Binars]], **[[Finite binars]], [[Finite binars with identity|with identity]], [[Finite binars with zero|with zero]], [[Finite binars with identity and zero|with identity and zero]]**,
 +  -[[Basic logic algebras|BL-algebras]]
  -[[Boolean algebras]] nbsp [[wp>Boolean algebra (structure)]]   -[[Boolean algebras]] nbsp [[wp>Boolean algebra (structure)]]
  -[[Boolean algebras with operators]]   -[[Boolean algebras with operators]]
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 213: Line 221:
  -[[Lattices]]   -[[Lattices]]
  -[[Left cancellative semigroups]]   -[[Left cancellative semigroups]]
 +  -[[Left neofield]]
  -[[Lie algebras]]   -[[Lie algebras]]
  -[[Goedel algebras|Linear Heyting algebras]]   -[[Goedel algebras|Linear Heyting algebras]]
Line 222: Line 231:
  -[[Lukasiewicz algebras of order n]]   -[[Lukasiewicz algebras of order n]]
  -[[M-sets]]   -[[M-sets]]
 +  -[[Binars|Magmas]]
  -[[Medial groupoids]]   -[[Medial groupoids]]
  -[[Medial quasigroups]]   -[[Medial quasigroups]]
Line 248: 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 271: Line 282:
  -[[p-groups]]   -[[p-groups]]
  -[[Partial groupoids]]   -[[Partial groupoids]]
 +  -[[Partial monoid]]
  -[[Partial semigroups]]   -[[Partial semigroups]]
  -[[Partially ordered groups]]   -[[Partially ordered groups]]
Line 316: 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]]
Line 324: Line 337:
  -[[Semiassociative relation algebras]]   -[[Semiassociative relation algebras]]
  -[[Semidistributive lattices]]   -[[Semidistributive lattices]]
 +  -[[Semifields]]
  -[[Semigroups]], **[[Finite semigroups]]**   -[[Semigroups]], **[[Finite semigroups]]**
  -[[Monoids|Semigroups with identity]]   -[[Monoids|Semigroups with identity]]