The logic Ł•

The algebraic category is the image of MV, the category whose objects are the MV‐algebras, by the equivalence (cf. 7 , 8 ). In this paper we define the logic ?^? whose Lindenbaum algebra is an MV‐algebra (object of ), and establish a link between ?^? and the infinite valued ?ukasiewicz logic ?. We define U‐operators, that have properties of universal quantifiers, and establish a bijection that maps an MV‐algebra endowed with a U‐operator (cf. 20 - 22 ) into an MV^?‐algebra endowed with a U‐operator. This map extends to a functor that is a categorical equivalence.