Displaying similar documents to “Radicals in non-commutative generalizations of MV-algebras”

Axiomatizing quantum MV-algebras.

Roberto Giuntini (1997)

Mathware and Soft Computing

Similarity:

We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M.

Generalizations of pseudo MV-algebras and generalized pseudo effect algebras

Jan Kühr (2008)

Czechoslovak Mathematical Journal

Similarity:

We deal with unbounded dually residuated lattices that generalize pseudo M V -algebras in such a way that every principal order-ideal is a pseudo M V -algebra. We describe the connections of these generalized pseudo M V -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo M V -algebra A by means of the positive cone of a suitable -group G A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex -subgroups of...

BL-algebras of basic fuzzy logic.

Esko Turunen (1999)

Mathware and Soft Computing

Similarity:

BL-algebras [Hajek] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too.