In [13], Novák introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In this note we specify the algebraic structure of first-order fuzzy logic by proving that the examination of Novák's logic can be reduced to the examination of locally finite MV-algebras.
03B52, 03B50, 03G10, 06D30