Конечные дистрибутивные решетки квазимногообразий
В.И. Туманов (1983)
Algebra i Logika
Similarity:
В.И. Туманов (1983)
Algebra i Logika
Similarity:
Дж.Б. Нейшен (2000)
Algebra i Logika
Similarity:
К.В. Адаричева (1991)
Algebra i Logika
Similarity:
В.А. Горбунов (1978)
Algebra i Logika
Similarity:
Heleyová, Z. (1995)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Gabriele H. Greco (1988)
Colloquium Mathematicae
Similarity:
Ю.Л. Ершов (2000)
Algebra i Logika
Similarity:
А.Д. Больбот, В.В. Калинин (1978)
Algebra i Logika
Similarity:
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...
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.
К.В. Адаричева, В.А. Горбунов, В. Дзёбяк, K. V. Adaričeva (1997)
Algebra i Logika
Similarity: