ADAPTING CLASSICAL INFERENCE TECHNIQUES TO MULTIPLE-VALUED LOGICS USING SIGNED FORMULAS
Neil V. Murray, Erik J. Rosenthal · Fundamenta Informaticae · 1994
We consider means for adapting classical deduction techniques to multiple-valued logics. Some recent work in this area, including our own, utilizes signs (subsets of the set of truth values). In this paper we develop a language of signed formulas tha