Semi lattices whose structure lattice is distributive.
Semi-ideals in semi-lattices
Semilattice theory with applications to point-set topology
Semilattices do not have equationally compact hulls
Semilattices of width 2.
Semi-local lattices
Signed states on a logic
Some algebraic aspects of tournament theory
Some characterizations of completeness for trellises in terms of joins of cycles
This paper gives some new characterizations of completeness for trellises by introducing the notion of a cycle-complete trellis. One of our results yields, in particular, a characterization of completeness for trellises of finite length due to K. Gladstien (see K. Gladstien: Characterization of completeness for trellises of finite length, Algebra Universalis 3 (1973), 341–344).
Some examples of primitive lattices
Some examples of weakly associative lattices
Some primitive classes of lattices closed under the formation of projective images
Some properties of Eulerian lattices
In this paper, we prove that Eulerian lattices satisfying some weaker conditions for lattices or some weaker conditions for 0-distributive lattices become Boolean.
Some properties of lattice homomorphisms
Span in incidence structures of independent sets defined on projective space
Special incidence structures of type
Special incidence structures of type . II.
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...
Strong compact elements in multiplicative lattices
Strongly cancellative and recovering sets on lattices.