Wajsberg Algebras with a U-operator
Marina B. Lattanzi
Wajsberg algebras are the algebraic models of Lukasiewicz infinitevalued propositional calculi. In this paper we investigate the Wajsberg algebras endowed with an operator, that we designate a U–operator, which generalize the notion of universal quantifier. We analyse the properties of U–operators, define the UW–algebras, study the U–deductive systems and show its equivalence to congruence relations. Moreover, we find a topological duality for this class of algebras.