On direct decompositions of certain orthomodular lattices.
Konôpka, P., Pulmannová, S. (1991)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Fuzzy coalitional structures (alternatives).”
On direct decompositions of certain orthomodular lattices.
Stone Lattices
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...
On quantic conuclei in orthomodular lattices.
Román, Leopoldo, Zuazua, Rita E. (1996)
Theory and Applications of Categories [electronic only]
Similarity:
A measure-theoretic characterization of Boolean algebras among orthomodular lattices
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.
A characterization of quantic quantifiers in orthomodular lattices.
Román, Leopoldo (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Ring-like structures derived from -lattices with antitone involutions
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.