Displaying similar documents to “Дистритбутивные решетки с относительными дополнениями.”

Stone Lattices

Adam Grabowski (2015)

Formalized Mathematics

Similarity:

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...

Some properties of Eulerian lattices

R. Subbarayan, A. Vethamanickam (2014)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper, we prove that Eulerian lattices satisfying some weaker conditions for lattices or some weaker conditions for 0-distributive lattices become Boolean.