# Differences

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

index.html [2019/03/28 14:32] jipsen |
index.html [2019/07/25 15:03] (current) jipsen |
||
---|---|---|---|

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 250: | 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 319: | 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]] |

Trace: