Displaying similar documents to “Finite atomistic lattices that can be represented as lattices of quasivarieties”

Commutative idempotent residuated lattices

David Stanovský (2007)

Czechoslovak Mathematical Journal

Similarity:

We investigate the variety of residuated lattices with a commutative and idempotent monoid reduct.

On skew lattices. II.

Václav Slavík (1973)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Lattice of ℤ-module

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