Kybernetika 28 no. 6, 506-511, 1992

The algebra of first-order fuzzy logic

Esko Turunen

Abstract:

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.

Classification:

03B52, 03B50, 03G10, 06D30