Fuzzy interval logic is proposed, which is a logical system extended from fuzzy logic for the purpose of representing unknown or contradictory information added to true and false. In the fuzzy interval logic, any proposition can be allowed to take an interval truth value [n, p], which is a special case of a linguistic truth value or the general case of a numerical one, where n and p are any values in the closed interval [0,1]. In this paper, introducing two partial ordered relations on the set of truth values of fuzzy interval logic, concerning truth and ambiguity, basic logic operators are defined. Some fundamental properties of a fuzzy interval logic function represented by a logic formula consisting of these operators and variables are studied. Kleene's law, which holds in fuzzy logic, doesn't hold here. The necessary and sufficient condition for two fuzzy logic formulas being equivalent each other is given using the quantization theorem. This shows that two fuzzy interval logic functions are equivalent when they take same value at only four values {[0,0], [1,1], [0,1], [1,0]}, that is, fuzzy interval logic is essentially four valued logic.
View full abstract