HomePage | RecentChanges | Preferences
Template
- Abelian lattice-ordered groups
- Action algebras
- Action lattices
- Algebraic lattices
- Algebraic posets
- Almost distributive lattices
- Basic logic algebras
- BCI-algebras
- BCK-algebras
- Boolean algebras
- Boolean algebras with operators
- Boolean modules over a relation algebra
- Boolean monoids
- Bounded distributive lattices
- Bounded lattices
- Bounded residuated lattices
- Brouwerian algebras
- Cancellative residuated lattices
- Chains
- Clans?
- Commutative residuated lattices
- Complemented lattices
- [Complemented distributive lattices]?
- Complemented modular lattices
- [Complete distributive lattices]?
- Complete lattices
- [Complete partial orders]?
- [Cone algebras]?
- [Continuous lattices]?
- [Continuous posets]?
- [Cylindric algebras]?
- [DeMorgan algebras]?
- Dense linear orders
- Distributive lattices
- [Distributive lattices with operations]?
- [Distributive lattice ordered semigroups]?
- Distributive p-algebras
- Distributive residuated lattices
- Double Stone algebras
- Directed complete partial orders
- f-rings?
- Finite lattices
- FL-algebras
- Frames?
- Generalized BL-algebras
- Generalized Boolean algebras
- Generalized MV-algebras
- [Halmos algebras]?
- Heyting algebras
- Hoops
- [Intuitionistic linear logic algebras]?
- Idempotent semirings
- [Idempotent semirings with zero and one]?
- Join-semidistributive lattices
- Join-semilattices
- Kleene algebras
- Kleene lattices
- Lattice-ordered groups
- Lattice-ordered rings
- Lattices
- [Linear logic algebras]?
- Linear orders
- Locales?
- [Lukasewics algebras]?
- Meet-semidistributive lattices
- Meet-semilattices
- Modal algebras
- Modular lattices
- [Multiplicative lattices]?
- MV-algebras
- Ockham algebras
- [Ordered fields]?
- [Ordered sets]?
- Ortholattices
- Orthomodular lattices
- Partially ordered sets
- [Peirce algebras]?
- Pocrims?
- Polrims?
- Posets
- [Post algebras]?
- Preordered sets
- [Pseudo MV-algebras]?
- Quantales?
- [Quasi-ordered sets]?
- Relation algebras
- [Relative Stone algebras]?
- [Relativized relation algebras]?
- [Representable cylindric algebras]?
- [Representable relation algebras]?
- Residuated lattices
- [Residuated idempotent semirings]?
- Semidistributive lattices
- Semilattices
- Sequential algebras
- Stone algebras
- Tense algebras
- [Temporal algebras]?
- Trees?
- [Wasjberg hoops]?
- [Weakly associative lattices]?
- [Weakly representable relation algebras]?