On atomistic lattices.
Walendziak, Andrzej (1994)
Portugaliae Mathematica
Similarity:
Walendziak, Andrzej (1994)
Portugaliae Mathematica
Similarity:
Henry H. Crapo (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Václav Slavík (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Yuichi Futa, Yasunari Shidama (2016)
Formalized Mathematics
Similarity:
In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding...
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.
Sándor Radeleczki (2002)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We define and study classification systems in an arbitrary CJ-generated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(L)). If B(L) is a pseudocomplemented lattice, then every classification system of L is independent...
Ivan Chajda, Helmut Länger (2017)
Topological Algebra and its Applications
Similarity:
We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lattice. In this case, also the converse statement is true and the corresponence is nearly one-to-one. ...
J. L. Ericksen (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
M. Janowitz (1970)
Fundamenta Mathematicae
Similarity:
Josef Dalík (1979)
Časopis pro pěstování matematiky
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].