Displaying 41 – 60 of 124

Showing per page

Generalized homogeneous, prelattice and MV-effect algebras

Zdena Riečanová, Ivica Marinová (2005)

Kybernetika

We study unbounded versions of effect algebras. We show a necessary and sufficient condition, 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. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We prove that every prelattice generalized effect algebra P is a union of generalized MV-effect algebras and...

Holland’s theorem for pseudo-effect algebras

Anatolij Dvurečenskij (2006)

Czechoslovak Mathematical Journal

We give two variations of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo M V -algebra can be represented as a pseudo-effect algebra or as a pseudo M V -algebra of automorphisms of some antilattice or of some linearly ordered set.

M V -test spaces versus M V -algebras

Antonio Di Nola, Anatolij Dvurečenskij (2004)

Czechoslovak Mathematical Journal

In analogy with effect algebras, we introduce the test spaces and M V -test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between M V -algebras and M V -test spaces.

Molecules and linerly ordered ideals of MV-algebras.

C. S. Hoo (1997)

Publicacions Matemàtiques

We show that an ideal I of an MV-algebra A is linearly ordered if and only if every non-zero element of I is a molecule. The set of molecules of A is contained in Inf(A) ∪ B2(A) where B2(A) is the set of all elements x ∈ A such that 2x is idempotent. It is shown that I ≠ {0} is weakly essential if and only if B⊥ ⊂ B(A). Connections are shown among the classes of ideals that have various combinations of the properties of being implicative, essential, weakly essential, maximal or prime.

New kinds of hybrid filters of EQ-algebras

Akbar Paad (2024)

Mathematica Bohemica

The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...

Currently displaying 41 – 60 of 124