THE ALGEBRA OF 1ST-ORDER FUZZY-LOGIC

In [13], Novak 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 Novak's logic can be reduced to the examination of locally finite MV-algebras.