# Differences

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

index.html [2016/11/26 19:00]
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 144: Line 151:
-[[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 160:
-[[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 173:
-[[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 170: 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 186: 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 193: Line 213:
-[[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 199: 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 208: 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 228: Line 252:
-[[Multisets]]   -[[Multisets]]
-[[MV-algebras]]   -[[MV-algebras]]
+  -[[MV-effect algebras]]
-[[m-zeroids]]   -[[m-zeroids]]
-[[Neardistributive lattices]]   -[[Neardistributive lattices]]
Line 233: 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 251: Line 277:
-[[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 272: Line 300:
-[[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 299: 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 hoops]]
+  -[[Right quasigroups]]
-[[Rings]]   -[[Rings]]
-[[Rings with identity]]   -[[Rings with identity]]
Line 304: 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 314: 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]]