The following pages link to Lattice Theory: Foundation (Q3162101):
Displaying 50 items.
- Quasicontinuous domains and the Smyth powerdomain (Q265813) (← links)
- The strong endomorphism kernel property for modular p-algebras and for distributive lattices (Q271701) (← links)
- Stone lattices. (Q271910) (← links)
- The number of monotone and self-dual Boolean functions. (Q275595) (← links)
- On continuous nondeterminism and state minimality (Q283735) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- The 6-strand braid group is \(\mathrm{CAT}(0)\). (Q292072) (← links)
- The ordered set of principal congruences of a countable lattice. (Q292837) (← links)
- Quasiplanar diagrams and slim semimodular lattices (Q304179) (← links)
- Interval decomposition lattices are balanced (Q305165) (← links)
- Fast Möbius inversion in semimodular lattices and ER-labelable posets (Q311532) (← links)
- Special elements of the lattice of epigroup varieties (Q312202) (← links)
- Congruences of fork extensions of slim, planar, semimodular lattices (Q331012) (← links)
- The order of principal congruences of a bounded lattice (Q364684) (← links)
- Notes on planar semimodular lattices. VII: Resections of planar semimodular lattices (Q382886) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- The extended permutohedron on a transitive binary relation. (Q404457) (← links)
- Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices (Q451078) (← links)
- Patch extensions and trajectory colorings of slim rectangular lattices. (Q466921) (← links)
- Note on the description of join-distributive lattices by permutations (Q466922) (← links)
- Prime filters and ideals in distributive lattices (Q467793) (← links)
- A note on congruence lattices of slim semimodular lattices. (Q471161) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- An extension theorem for planar semimodular lattices. (Q484555) (← links)
- Generalized comonotonicity and new axiomatizations of Sugeno integrals on bounded distributive lattices (Q505265) (← links)
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Dualization in lattices given by ordered sets of irreducibles (Q507520) (← links)
- Representing some families of monotone maps by principal lattice congruences (Q509530) (← links)
- A new view of relationship between atomic posets and complete (algebraic) lattices (Q521574) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Free pseudocomplemented semilattices: a new approach. (Q745713) (← links)
- Congruences and prime-perspectivities in finite lattices. (Q745716) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- The lattice of varieties of implication semigroups (Q781528) (← links)
- On generating of idempotent aggregation functions on finite lattices (Q781870) (← links)
- On geometric posets and partial matroids (Q783288) (← links)
- Characterizations of pseudocomplemented lattices by excluded 0-sublattices (Q829758) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- On equivalence of conceptual scaling and generalized one-sided concept lattices (Q903566) (← links)
- When does a generalized Boolean quasiring become a Boolean ring? (Q1626224) (← links)
- Node balanced steady states: unifying and generalizing complex and detailed balanced steady states (Q1644702) (← links)
- My collaboration with E. T. Schmidt spanning six decades (Q1646598) (← links)
- Pseudocomplementation and minimal prime ideals in semirings (Q1646612) (← links)
- Some preliminary results on the set of principal congruences of a finite lattice (Q1652852) (← links)
- A note on homomorphisms between products of algebras (Q1652857) (← links)
- Special elements of the lattice of monoid varieties (Q1652861) (← links)
- Congruence structure of planar semimodular lattices: the general swing lemma (Q1652876) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Varieties of Boolean inverse semigroups (Q1663513) (← links)
- Representing an isotone map between two bounded ordered sets by principal lattice congruences (Q1669662) (← links)
