Ternary spaces, media, and Chebyshev sets
The axioms for implication in orthologic
We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.
The Brooks-Jewett theorem for -triangular functions on difference posets and orthoalgebras
The congruence variety of metabelian groups is not self-dual.
The Dimension Lattice of a JBW-Algebra.
The exocenter and type decomposition of a generalized pseudoeffect algebra
We extend the notion of the exocenter of a generalized effect algebra (GEA) to a generalized pseudoeffect algebra (GPEA) and show that elements of the exocenter are in one-to-one correspondence with direct decompositions of the GPEA; thus the exocenter is a generalization of the center of a pseudoeffect algebra (PEA). The exocenter forms a boolean algebra and the central elements of the GPEA correspond to elements of a sublattice of the exocenter which forms a generalized boolean algebra. We extend...
The lattice of pseudotopologies on S
The lattice of -subalgebras of a bounded distributive lattice
The lattice structure of quantum logics
The measure extension theorem for subadditive probability measures in orthomodular -continuous lattices
The one-block property in varieties of semigroups.
The Role of Halaš Identity in Orthomodular Lattices
We prove that a certain identity introduced by R. Halaš for classifying basic algebras can be used for characterizing orthomodular lattices in the class of ortholattices with antitone involutions on every principal filter.
The structure of transitive ordered permutation groups
We give some necessary and sufficient conditions for transitive -permutation groups to be -transitive. We also discuss primitive components and give necessary and sufficient conditions for transitive -permutation groups to be normal-valued.
The sums of closed subspaces in a topological linear space
Three Mal'cev Type Theorems and their Application
Tolerance extensions in distributive lattices
Tolerance modular varieties of semigroups
Tolerances and congruences on lattices
Topologies in atomic quantum logics
Treillis sous-modulaires, II