Title :
Signed formulas and annotated logics
Author :
Lu, James J. ; Murray, Neil V. ; Rosenthal, Erik
Author_Institution :
Bucknell Univ., PA, USA
Abstract :
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
Keywords :
logic programming; many-valued logics; SLD-style resolution rule; annotated logic programs; annotated logics; inference rules; multiple-valued logics; reduction; signed formulas; signed resolution rule; Ducts; Logic;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289582
