Displaying similar documents to “Truth filters in De Morgan lattices.”

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

On M-operators of q-lattices

Radomír Halaš (2002)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

It is well known that every complete lattice can be considered as a complete lattice of closed sets with respect to appropriate closure operator. The theory of q-lattices as a natural generalization of lattices gives rise to a question whether a similar statement is true in the case of q-lattices. In the paper the so-called M-operators are introduced and it is shown that complete q-lattices are q-lattices of closed sets with respect to M-operators.

Semimodularity in lower continuous strongly dually atomic lattices

Andrzej Walendziak (1996)

Archivum Mathematicum

Similarity:

For lattices of finite length there are many characterizations of semimodularity (see, for instance, Grätzer [3] and Stern [6]–[8]). The present paper deals with some conditions characterizing semimodularity in lower continuous strongly dually atomic lattices. We give here a generalization of results of paper [7].