Differences

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

index.html [2015/06/06 11:52]
jipsen
index.html [2018/08/04 18:29] (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 115: Line 116:
  -[[Directed complete partial orders|Complete partial orders]]   -[[Directed complete partial orders|Complete partial orders]]
  -[[Completely regular Hausdorff spaces]]   -[[Completely regular Hausdorff spaces]]
-  -[[Completely regular semigroups]]+  -[[wp>Completely regular semigroups]] 
 +  -[[Conjugative binars]]
  -[[Continuous lattices]]   -[[Continuous lattices]]
  -[[Continuous posets]]   -[[Continuous posets]]
 +  -[[Cyclic involutive FL-algebras]]
  -[[Cylindric algebras]]   -[[Cylindric algebras]]
  -[[De Morgan algebras]]   -[[De Morgan algebras]]
Line 143: Line 146:
  -[[Dunn monoids]]   -[[Dunn monoids]]
  -[[Dynamic algebras]]   -[[Dynamic algebras]]
 +  -[[Effect algebras]]
  -[[Medial groupoids|Entropic groupoids]]   -[[Medial groupoids|Entropic groupoids]]
  -[[Equivalence algebras]]   -[[Equivalence algebras]]
Line 151: Line 155:
  -[[FL-algebras]]   -[[FL-algebras]]
  -[[FLc-algebras]]   -[[FLc-algebras]]
 +  -[[Heyting algebras|FLcw-algebras]]
  -[[FLe-algebras]]   -[[FLe-algebras]]
 +  -[[FLec-algebras]]
 +  -[[Heyting Algebras|FLecw-algebras]]
  -[[FLew-algebras]]   -[[FLew-algebras]]
 +  -[[FLi-algebras]]
 +  -[[FLo-algebras]]
  -[[FLw-algebras]]   -[[FLw-algebras]]
  -[[Frames]]   -[[Frames]]
Line 159: Line 168:
  -[[Generalized BL-algebras]]   -[[Generalized BL-algebras]]
  -[[Generalized Boolean algebras]]   -[[Generalized Boolean algebras]]
 +  -[[Generalized effect algebras]]
  -[[Generalized MV-algebras]]   -[[Generalized MV-algebras]]
-  -[[Goedel algebras]]+  -[[Generalized orthoalgebras]] 
 +  -[[Generalized pseudo-effect algebras]] 
 +  -[[Generalized separation algebras]] 
 +  -[[Gödel algebras]]
  -[[Graphs]]   -[[Graphs]]
  -[[Groupoids]]   -[[Groupoids]]
Line 176: Line 189:
  -[[Implicative lattices]]   -[[Implicative lattices]]
  -[[Integral domains]]   -[[Integral domains]]
 +  -[[Integral involutive FL-algebras]]
  -[[Integral ordered monoids]], **[[finite integral ordered monoids]]**   -[[Integral ordered monoids]], **[[finite integral ordered monoids]]**
  -[[Integral relation algebras]]   -[[Integral relation algebras]]
Line 191: Line 205:
  -[[Kleene logic algebras]]   -[[Kleene logic algebras]]
  -[[Residuated partially ordered semigroups|Lambek algebras]]   -[[Residuated partially ordered semigroups|Lambek algebras]]
 +  -[[Lattice effect algebras]]
 +  -[[Lattice implication algebras]]
  -[[Lattice-ordered groups]]   -[[Lattice-ordered groups]]
  -[[Lattice-ordered monoids]]   -[[Lattice-ordered monoids]]
Line 206: Line 222:
  -[[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 226: Line 243:
  -[[Multisets]]   -[[Multisets]]
  -[[MV-algebras]]   -[[MV-algebras]]
 +  -[[MV-effect algebras]]
 +  -[[m-zeroids]]
  -[[Neardistributive lattices]]   -[[Neardistributive lattices]]
  -[[Near-rings]]   -[[Near-rings]]
Line 248: Line 267:
  -[[Partially ordered sets|Ordered sets]]   -[[Partially ordered sets|Ordered sets]]
  -[[Ore domains]]   -[[Ore domains]]
 +  -[[Orthoalgebras]]
  -[[Ortholattices]]   -[[Ortholattices]]
  -[[Orthomodular lattices]]   -[[Orthomodular lattices]]
  -[[p-groups]]   -[[p-groups]]
  -[[Partial groupoids]]   -[[Partial groupoids]]
 +  -[[Partial monoid]]
  -[[Partial semigroups]]   -[[Partial semigroups]]
  -[[Partially ordered groups]]   -[[Partially ordered groups]]
Line 261: Line 282:
  -[[FL-algebras|Pointed residuated lattices]]   -[[FL-algebras|Pointed residuated lattices]]
  -[[Polrims]]   -[[Polrims]]
-  -[[Polyadic algebras]]+  -[[wp>Polyadic algebras]]
  -[[Partially ordered sets|Posets]]   -[[Partially ordered sets|Posets]]
  -[[Post algebras]]   -[[Post algebras]]
Line 269: Line 290:
  -[[Process algebras]]   -[[Process algebras]]
  -[[Pseudo basic logic algebras]]   -[[Pseudo basic logic algebras]]
 +  -[[Pseudo-effect algebras]]
  -[[Pseudo MTL-algebras]]   -[[Pseudo MTL-algebras]]
  -[[Pseudo MV-algebras]]   -[[Pseudo MV-algebras]]
  -[[Pseudocomplemented distributive lattices]]   -[[Pseudocomplemented distributive lattices]]
  -[[Pure discriminator algebras]]   -[[Pure discriminator algebras]]
 +  -[[Quandles]]
  -[[Quantales]]   -[[Quantales]]
  -[[Quasigroups]]   -[[Quasigroups]]
Line 295: Line 318:
  -[[Residuated partially ordered monoids]]   -[[Residuated partially ordered monoids]]
  -[[Residuated partially ordered semigroups]]   -[[Residuated partially ordered semigroups]]
 +  -[[Right residuated binars]]
 +  -[[Right hoops]]
 +  -[[Right quasigroups]]
  -[[Rings]]   -[[Rings]]
  -[[Rings with identity]]   -[[Rings with identity]]
Line 310: Line 336:
  -[[Semirings with identity and zero]]   -[[Semirings with identity and zero]]
  -[[Semirings with zero]]   -[[Semirings with zero]]
 +  -[[Separation algebras]]
  -[[Sequential algebras]]   -[[Sequential algebras]]
  -[[Sets]]   -[[Sets]]