First-order fuzzy logic (Q1095132)

This paper is an attempt to develop first-order fuzzy logic based on a truth set being either the interval \(<0,1>\) or a finite chain. The syntax and semantics of first-order fuzzy logic are developed. The notion of a fuzzy theory in first-order fuzzy logic is introduced and its canonical model is constructed. Finally, completeness theorems are proved which are fuzzy extensions of the classical Gödel's theorems (i.e., the classical ones are special cases of the theorems).