Differences

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

index.html [2018/08/04 15:42]
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 77: Line 77:
  -[[Cancellative commutative semigroups]]   -[[Cancellative commutative semigroups]]
  -[[Cancellative monoids]]   -[[Cancellative monoids]]
 +  -[[Cancellative partial monoids]]
  -[[Cancellative semigroups]]   -[[Cancellative semigroups]]
  -[[Cancellative residuated lattices]]   -[[Cancellative residuated lattices]]
Line 86: 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 116: Line 120:
  -[[Completely regular Hausdorff spaces]]   -[[Completely regular Hausdorff spaces]]
  -[[wp>Completely regular semigroups]]   -[[wp>Completely regular semigroups]]
 +  -[[Conjugative binars]]
  -[[Continuous lattices]]   -[[Continuous lattices]]
  -[[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 133: 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 170: Line 177:
  -[[Generalized orthoalgebras]]   -[[Generalized orthoalgebras]]
  -[[Generalized pseudo-effect algebras]]   -[[Generalized pseudo-effect algebras]]
 +  -[[Generalized separation algebras]]
  -[[Gödel algebras]]   -[[Gödel algebras]]
  -[[Graphs]]   -[[Graphs]]
Line 179: 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 195: 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 210: 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 219: 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 245: 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 268: Line 282:
  -[[p-groups]]   -[[p-groups]]
  -[[Partial groupoids]]   -[[Partial groupoids]]
 +  -[[Partial monoid]]
  -[[Partial semigroups]]   -[[Partial semigroups]]
  -[[Partially ordered groups]]   -[[Partially ordered groups]]
Line 313: 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]]
 +  -[[Right quasigroups]]
  -[[Rings]]   -[[Rings]]
  -[[Rings with identity]]   -[[Rings with identity]]
Line 320: 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]]
Line 330: Line 348:
  -[[Semirings with identity and zero]]   -[[Semirings with identity and zero]]
  -[[Semirings with zero]]   -[[Semirings with zero]]
 +  -[[Separation algebras]]
  -[[Sequential algebras]]   -[[Sequential algebras]]
  -[[Sets]]   -[[Sets]]