Differences
This shows you the differences between two versions of the page.
|
index.html [2012/07/18 23:33] 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 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 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]] | ||
| Line 333: | Line 360: | ||
| -[[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]] | ||
Trace:
