Kybernetika 26 no. 1, 47-66, 1990

On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics