Finite-valued dually residuated lattice-ordered monoids
Jan Kühr · Czech digital mathematics library · 2006
Lattice-ordered groups, as well as GMV-algebras (called also pseudo MV-algebras), are both particular cases of dually residuated latticeordered monoids (DB£-monoids).In the paper we study values in DH^-monoids, especially if the ideal lattice is a member of the class X1ZM of algebraic, distributive lattices whose compact elements form a relatively normal sublattice, and we characterize finite-valued DR£-monoids whose ideal lattices belong to XlZJ\f.