Displaying similar documents to “S-extremal strongly modular lattices”

Strongly modular lattices with long shadow

Gabriele Nebe (2004)

Journal de Théorie des Nombres de Bordeaux

Similarity:

This article classifies the strongly modular lattices with longest and second longest possible shadow.

Orthomodular Lattices

Elżbieta Mądra, Adam Grabowski (2008)

Formalized Mathematics

Similarity:

The main result of the article is the solution to the problem of short axiomatizations of orthomodular ortholattices. Based on EQP/Otter results [10], we gave a set of three equations which is equivalent to the classical, much longer equational basis of such a class. Also the basic example of the lattice which is not orthomodular, i.e. benzene (or B6) is defined in two settings - as a relational structure (poset) and as a lattice.As a preliminary work, we present the proofs of the dependence...