Blocks of homogeneous effect algebras

  title={Blocks of homogeneous effect algebras},
  author={Gejza Jenvca},
  journal={Bulletin of the Australian Mathematical Society},
  pages={81 - 98}
  • Gejza Jenvca
  • Published 1 August 2001
  • Mathematics
  • Bulletin of the Australian Mathematical Society
Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalise some well known classes of algebraic structures (for example orthomodular lattices, MV algebras, orthoalgebras et cetera). In the present paper, we introduce a new class of effect algebras, called homogeneous effect algebras. This class includes orthoalgebras, lattice ordered effect algebras and effect algebras satisfying the Riesz decomposition property. We prove that every homogeneous effect… 

Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

It is proved that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E), the BCK-algebra M(E) of meager elements and a mapping h:H(a) = [0,a] ∩ M(E).

Generalized homogeneous, prelattice and MV-effect algebras

A necessary and sufficient condition is shown, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra.

The three types of normal sequential effect algebras

It is found that associativity forces normal SEAs satisfying the new axiom to be commutative, shedding light on the question of why the sequential product in quantum theory should be non-associative.

Homogeneous orthocomplete effect algebras are covered by MV-algebras

Triple Representation Theorem for Homogeneous Effect Algebras

The aim of our paper is to prove the Triple Representation Theorem, which was established by Jenca in the setting of complete lattice effect algebras, for a special class of homogeneous effect

Hyper-operations in effect algebras

  • Wei Ji
  • Mathematics
    Soft Comput.
  • 2019
It is shown that Riesz congruences are compatible with thehyper-meet operation and the hyper-join operation in effect algebras with the maximality property and it is proved that the quotient of an effect algebra E with the Maximality property by a RiesZ ideal has the maximalities property.

Triple Representation Theorem for orthocomplete homogeneous effect algebras

The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the set of sharp elements S(E), and the center C(E) in the setting of meager-orthocomplete homogeneous

The block structure of complete lattice ordered effect algebras

  • Gejza Jenča
  • Mathematics
    Journal of the Australian Mathematical Society
  • 2007
Abstract We prove that every for every complete lattice-ordered effect algebra E there exists an orthomodular lattice O(E) and a surjective full morphism øE: O(E) → E which preserves blocks in both

Representable Effect Algebras and Observables

We introduce a class of monotone σ-complete effect algebras, called representable, which are σ-homomorphic images of a class of monotone σcomplete effect algebras of functions taking values in the

Joins and meets in effect algebras

We know that each effect algebra E is isomorphic to π(X) for some E-test spaces (X,T).We describe when π(x)∨π(y) and π(x) ∧ π(y) exists for x, y ∈ E(X,T). Moreover we give the formula for π(x) ∨ π(x)



Phi-symmetric effect algebras

It is shown that every interval effect algebra with a lattice-ordered ambient group is Φ-symmetric, and its group is the one constructed by Ravindran in his proof that every effect algebra that has the Riesz decomposition property is an interval algebra.

Quotients of partial abelian monoids

Abstract. A hierarchy of partial abelian structures is considered. In an order of decreasing generality, these structures include partial abelian monoids (PAM), cancellative PAMs (CPAM), effect

The center of an effect algebra

An effect algebra is a partial algebra modeled on the standard effect algebra of positive self-adjoint operators dominated by the identity on a Hilbert space. Every effect algebra is partially

Algebraic analysis of many valued logics

This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall call

Effect algebras and unsharp quantum logics

The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among

Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras

It is shown that the so-called R1-ideals in cancellative PAMs (CPAM) form a complete Brouwerian sublattice of the lattice of all ideals, and they are standard elements of it.

Filters and supports in orthoalgebras

An orthoalgebra, which is a natural generalization of an orthomodular lattice or poset, may be viewed as a “logic” or “proposition system” and, under a welldefined set of circumstances, its elements

Orthomodular Lattices: Algebraic Approach

I: Introduction.- II: Elementary Theory of Orthomodular Lattices.- 1. Ortholattices.- 2. Commutativity.- 3. Orthomodular lattices.- 4. Properties of commutativity in orthomodular lattices.- 5.

An Introduction to Hilbert Space and Quantum Logic

1. Experiments, Measure, and Integration.- A. Measures.- Experiments and weight functions, expected value of a weight function, measures, Lebesgue measure, signed measures, complex measures,

Toward a formal language for unsharp properties

Some algebraic structures of the set of all effects are investigated and summarized in the notion of a(weak) orthoalgebra. It is shown that these structures can be embedded in a natural way in