Kybernetika

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.