Title: Signed Formulas and Fuzzy Operator Logics
Authors: James J. Lu, N.V. Murray, E. Rosenthal.
Abstract
The language of signed formulas offers a classical logic framework for multiple-valued logics. Fuzzy operator logic is cast in this framework, thereby making most classical inference techniques applicable to fuzzy logic. In particular, resolution for first order fuzzy operator logic is shown to be a special case of signed resolution.
International Symposium on Methodologies for Intelligent Systems (ISMIS `94), Lecture Notes in Computer Science, Springer, 1994.