Signed formulas and annotated logics
James Jian-Qiang Lu, N. V. Murray, Erik J. Rosenthal · 2002
The relationship between signed formulas and annotated logics, two approaches that some authors have used to analyze multiple-valued logics (MVLs), is explored. A special case of the signed resolution rule is shown to be equivalent to, and thus to unify, the two inference rules, resolution and reduction, of annotated logic, raising the possibility of an SLD-style resolution rule for annotated logic programs.>