# Differences

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

index.html [2012/07/08 23:36]
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 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 integral ordered monoids]], **[[finite commutative integral ordered monoids]]**+  -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**
-[[Commutative inverse semigroups]]   -[[Commutative inverse semigroups]]
-[[Commutative lattice-ordered monoids]]   -[[Commutative lattice-ordered monoids]]
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 173: Line 186:
-[[Idempotent semirings with identity and zero]]   -[[Idempotent semirings with identity and zero]]
-[[Idempotent semirings with zero]]   -[[Idempotent semirings with zero]]
-  -[[Implication algebras]]+  -[[Tarski algebras|Implication algebras]]
-[[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 181: Line 195:
-[[Intuitionistic linear logic algebras]]   -[[Intuitionistic linear logic algebras]]
-[[Inverse semigroups]]   -[[Inverse semigroups]]
+  -[[Involutive FL-algebras]]
-[[Involutive lattices]]   -[[Involutive lattices]]
-  -[[Involutive residuated lattices]]+  -[[Involutive FL-algebras|Involutive residuated lattices]]
-[[Join-semidistributive lattices]]   -[[Join-semidistributive lattices]]
-[[Semilattices|Join-semilattices]]   -[[Semilattices|Join-semilattices]]
Line 190: 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 205: 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 225: Line 243:
-[[Multisets]]   -[[Multisets]]
-[[MV-algebras]]   -[[MV-algebras]]
+  -[[MV-effect algebras]]
+  -[[m-zeroids]]
-[[Neardistributive lattices]]   -[[Neardistributive lattices]]
-[[Near-rings]]   -[[Near-rings]]
Line 247: 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 260: Line 282:
-[[FL-algebras|Pointed residuated lattices]]   -[[FL-algebras|Pointed residuated lattices]]
-[[Polrims]]   -[[Polrims]]
-[[Partially ordered sets|Posets]]   -[[Partially ordered sets|Posets]]
-[[Post algebras]]   -[[Post algebras]]
Line 268: 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 294: 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 299: 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 309: 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]]
Line 332: Line 361:
-[[wp>Topological vector spaces]]   -[[wp>Topological vector spaces]]
-[[Torsion groups]]   -[[Torsion groups]]
-  -[[Ordered abelian groups|Totally ordered abelian groups]]+  -[[Abelian ordered groups|Totally ordered abelian groups]]
-[[Ordered groups|Totally ordered groups]]   -[[Ordered groups|Totally ordered groups]]
-[[Ordered monoids|Totally ordered monoids]]   -[[Ordered monoids|Totally ordered monoids]]