Game properties of Boolean algebras
Generalizations of Boolean algebras. An attribute exploration
Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
We deal with unbounded dually residuated lattices that generalize pseudo -algebras in such a way that every principal order-ideal is a pseudo -algebra. We describe the connections of these generalized pseudo -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo -algebra by means of the positive cone of a suitable -group . We prove that the lattice of all (normal) ideals of and the lattice of all (normal) convex -subgroups of are isomorphic....
Generalized difference posets and orthoalgebras.
Generalized homogeneous, prelattice and MV-effect algebras
We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We prove that every prelattice generalized effect algebra is a union of generalized MV-effect algebras and...
Generalized join-hemimorphisms on Boolean algebras.
Generalized Post algebras and their application to some infinitary many-valued logics [Book]
Generating families in a topos.
Geometric and higher order logic in terms of abstract Stone duality.
GMV-algebras and meet-semilattices with sectionally antitone permutations
Graph coloring problems with applications in algebraic logic
Group-valued measures on coarse-grained quantum logics
In it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later () this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained...