• DocumentCode
    1839126
  • Title

    Signed formulas and annotated logics

  • Author

    Lu, James J. ; Murray, Neil V. ; Rosenthal, Erik

  • Author_Institution
    Bucknell Univ., PA, USA
  • fYear
    1993
  • fDate
    24-27 May 1993
  • Firstpage
    48
  • Lastpage
    53
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
  • Conference_Location
    Sacramento, CA
  • Print_ISBN
    0-8186-3350-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1993.289582
  • Filename
    289582
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1839126