# Differences

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

index.html [2016/11/18 14:45] jipsen |
index.html [2019/03/28 14:50] (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 177: | 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 192: | 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 198: | Line 213: | ||

-[[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 207: | Line 223: | ||

-[[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 227: | Line 244: | ||

-[[Multisets]] | -[[Multisets]] | ||

-[[MV-algebras]] | -[[MV-algebras]] | ||

+ | -[[MV-effect algebras]] | ||

+ | -[[m-zeroids]] | ||

-[[Neardistributive lattices]] | -[[Neardistributive lattices]] | ||

-[[Near-rings]] | -[[Near-rings]] | ||

-[[Near-rings with identity]] | -[[Near-rings with identity]] | ||

-[[Near-fields]] | -[[Near-fields]] | ||

+ | -[[Neofields]] | ||

-[[Nilpotent groups]] | -[[Nilpotent groups]] | ||

-[[Nonassociative relation algebras]] | -[[Nonassociative relation algebras]] | ||

Line 249: | Line 269: | ||

-[[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 262: | Line 284: | ||

-[[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 270: | Line 292: | ||

-[[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 297: | Line 320: | ||

-[[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 302: | Line 328: | ||

-[[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 312: | Line 339: | ||

-[[Semirings with identity and zero]] | -[[Semirings with identity and zero]] | ||

-[[Semirings with zero]] | -[[Semirings with zero]] | ||

+ | -[[Separation algebras]] | ||

-[[Sequential algebras]] | -[[Sequential algebras]] | ||

-[[Sets]] | -[[Sets]] |

Trace: