The logic Ł•
Marta Sagastume, Hernán Javier San Martín · Mathematical logic quarterly · 2014
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.