Representation of Łukasiewicz and Post algebras by continuous functions
Representation theorem for finite quasi-boolean algebras
Representations of finite lattices by orders on finite sets
Representations of locally distributive lattices
Residuation Theory (Book Review by R. McFadden.
Semi lattices whose structure lattice is distributive.
Semigroups with A-semidistributive subsemigroup lattices.
Separating points by prime filters in modular semilattices.
Simple and subdirectly irreducibles bounded distributive lattices with unary operators.
Singular operations on algebras (generalized contractions)
Some properties of strongly normal lattices
Some remarks on Post algebras
Some results on dimension theory: Universal spaces
Stone Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which...
Stone lattices: a topological approach
Stonesche Verbände der Ordnung n und Postalgebren.
Subalgebra lattices of unary algebras and an axiom of choice
Subalgebra modular, distributive and boolean varieties of semigroups
Subdirect decomposition of distributive quasilattices
Subdirect products of chains