# Differences

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

index.html [2016/11/18 16:02]
jipsen
index.html [2019/03/14 17:53] (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]]
Line 144: 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 152: 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 160: 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 193: 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 208: 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 228: Line 243:
-[[Multisets]]   -[[Multisets]]
-[[MV-algebras]]   -[[MV-algebras]]
+  -[[MV-effect algebras]]
+  -[[m-zeroids]]
-[[Neardistributive lattices]]   -[[Neardistributive lattices]]
-[[Near-rings]]   -[[Near-rings]]
Line 250: 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 263: 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 271: 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]]
Line 298: 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 303: Line 326:
-[[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 313: Line 337:
-[[Semirings with identity and zero]]   -[[Semirings with identity and zero]]
-[[Semirings with zero]]   -[[Semirings with zero]]
+  -[[Separation algebras]]
-[[Sequential algebras]]   -[[Sequential algebras]]
-[[Sets]]   -[[Sets]]