Differences
This shows you the differences between two versions of the page.
|
index.html [2018/08/04 18:12] 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 87: | 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 121: | Line 124: | ||
| -[[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 135: | 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 182: | 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 198: | 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 213: | 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 222: | 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 248: | 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 271: | Line 282: | ||
| -[[p-groups]] | -[[p-groups]] | ||
| -[[Partial groupoids]] | -[[Partial groupoids]] | ||
| + | -[[Partial monoid]] | ||
| -[[Partial semigroups]] | -[[Partial semigroups]] | ||
| -[[Partially ordered groups]] | -[[Partially ordered groups]] | ||
| Line 316: | 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 residuated binars]] | ||
| -[[Right hoops]] | -[[Right hoops]] | ||
| Line 324: | 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]] | ||
Trace:
