An MV-pair is a pair (B, G) where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain conditions. Let ∼ G be the equivalence relation on B naturally… (More)

We examine the lattice of all order congruences of a finite poset from the viewpoint of combinatorial algebraic topology. We will prove that the order complex of the lattice of all nontrivial order… (More)

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect… (More)

We deal with the problem of coexistence in interval effect algebras using the notion of a witness mapping. Suppose that we are given an interval effect algebra E, a coexistent subset S of E, a… (More)

An MV-pair is a pair (B, G), where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain condition. Recently it was proved by one of the authors that for an… (More)

We prove that every for every complete lattice-ordered effect algebra E there exists an orthomodular lattice O(E) and a surjective full morphism (j>E : O(E) —>• E which preserves blocks in both… (More)