Displaying similar documents to “Congruences and ideals in lattice effect algebras as basic 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.

On ideals and congruences in BCC-algebras

Wiesław Aleksander Dudek, Xiaohong Zhang (1998)

Czechoslovak Mathematical Journal

Similarity:

We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences.