Structure theory for geometric lattices
Henry H. Crapo (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Henry H. Crapo (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Walendziak, Andrzej (1994)
Portugaliae Mathematica
Similarity:
K. Adaricheva, Wiesław Dziobiak, V. Gorbunov (1993)
Fundamenta Mathematicae
Similarity:
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
Similarity:
Bin Yu, Qingguo Li, Huanrong Wu (2017)
Open Mathematics
Similarity:
In the context of the atomic poset, we propose several new methods of constructing the complete lattice and the algebraic lattice, and the mutual decision of relationship between atomic posets and complete lattices (algebraic lattices) is studied.
Ladislav Beran (1975)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Román, Leopoldo, Zuazua, Rita E. (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Zhi-qiang Liu (2024)
Kybernetika
Similarity:
In this article, we investigate the algebraic structures of the partial orders induced by uninorms on a bounded lattice. For a class of uninorms with the underlying drastic product or drastic sum, we first present some conditions making a bounded lattice also a lattice with respect to the order induced by such uninorms. And then we completely characterize the distributivity of the lattices obtained.
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...