On direct decompositions of certain orthomodular lattices.
Konôpka, P., Pulmannová, S. (1991)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Konôpka, P., Pulmannová, S. (1991)
Acta Mathematica Universitatis Comenianae. New Series
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...
Román, Leopoldo, Zuazua, Rita E. (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Pavel Pták, Sylvia Pulmannová (1994)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We investigate subadditive measures on orthomodular lattices. We show as the main result that an orthomodular lattice has to be distributive (=Boolean) if it possesses a unital set of subadditive probability measures. This result may find an application in the foundation of quantum theories, mathematical logic, or elsewhere.
Román, Leopoldo (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Ivan Chajda (2007)
Mathematica Bohemica
Similarity:
Using the concept of the -lattice introduced recently by V. Snášel we define -lattices with antitone involutions. For them we establish a correspondence to ring-like structures similarly as it was done for ortholattices and pseudorings, for Boolean algebras and Boolean rings or for lattices with an antitone involution and the so-called Boolean quasirings.