An extension of the Stone representation for orthomodular lattices
An extension theorem for modular measures on effect algebras
We prove an extension theorem for modular measures on lattice ordered effect algebras. This is used to obtain a representation of these measures by the classical ones. With the aid of this theorem we transfer control theorems, Vitali-Hahn-Saks, Nikodým theorems and range theorems to this setting.
An orthogonality-based classification of conjectures in ortholattices.
A mathematical model for conjectures (including hypotheses, consequences and speculations), was recently introduced, in the context of ortholattices, by Trillas, Cubillo and Castiñeira (Artificial Intelligence 117, 2000, 255-257). The aim of the present paper is to further clarify the structure of this model by studying its relationships with one of the most important ortholattices' relation, the orthogonality relation. The particular case of orthomodular lattices -the framework for both Boolean...
Announcements of new results
Any orthomodular poset is a pasting of Boolean algebras
Archimedean atomic lattice effect algebras with complete lattice of sharp elements.
Atomistic Wilcox lattices in which the ideal of the finite elements is standard
Automorphisms of concrete logics
The main result of this paper is Theorem 3.3: Every concrete logic (i.e., every set-representable orthomodular poset) can be enlarged to a concrete logic with a given automorphism group and with a given center. Since every sublogic of a concrete logic is concrete, too, and since not every state space of a (general) quantum logic is affinely homeomorphic to the state space of a concrete logic [8], our result seems in a sense the best possible. Further, we show that every group is an automorphism...
Averaging premises.
This paper deals with the sets of strict conjectures and consequences of a given collection P of premises. The set of Averaging Functions is introduced on lattices and some properties of these functions are shown. Averaging Functions allow to interpret restricted consequences as averages of premises. The subset of consequences C9*(P) and the subset of conjectures Φg*(P) defined by means of the averaging function g are introduced, and their properties are studied. This sets allow to give decomposition...
A-Verbände I
Axiomatizing quantum MV-algebras.
We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M.
Balanced d-lattices are complemented
We characterize d-lattices as those bounded lattices in which every maximal filter/ideal is prime, and we show that a d-lattice is complemented iff it is balanced iff all prime filters/ideals are maximal.
Basic pseudorings
The concept of a basic pseudoring is introduced. It is shown that every orthomodular lattice can be converted into a basic pseudoring by using of the term operation called Sasaki projection. It is given a mutual relationship between basic algebras and basic pseudorings. There are characterized basic pseudorings which can be converted into othomodular lattices.
Blocks in homogeneous effect algebras and MV-algebras
Boolean and orthomodular lattices - a short characterization via commutativity
Categories of orthomodular posets
Center of a bounded lattice
Characterizations of 0-distributive posets
The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.
c-ideals in complemented posets
In their recent paper on posets with a pseudocomplementation denoted by the first and the third author introduced the concept of a -ideal. This concept is in fact an extension of a similar concept introduced in distributive pseudocomplemented lattices and semilattices by several authors, see References. Now we apply this concept of a c-ideal (dually, c-filter) to complemented posets where the complementation need neither be antitone nor an involution, but still satisfies some weak conditions....
Classes équationnelles de treillis orthomodulaires liées aux états