ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1995-1999  (1)
Collection
Keywords
Publisher
Years
Year
  • 1
    Electronic Resource
    Electronic Resource
    A Framework for Automated Reasoning in Multiple-Valued Logics (1998)
    Springer
    Journal of automated reasoning 21 (1998), S. 39-67 
    Details
    ISSN: 1573-0670
    Keywords: multiple-valued logics ; signed formulas ; annotated logics ; fuzzy operator logics ; inference
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The language of signed formulas offers a first-order classical logic framework for automated reasoning in multiple-valued logics. It is sufficiently general to include both annotated logics and fuzzy operator logics. Signed resolution unifies the two inference rules of annotated logics, thus enabling the development of an SLD-style proof procedure for annotated logic programs. Signed resolution also captures fuzzy resolution. The logic of signed formulas offers a means of adapting most classical inference techniques to multiple-valued logics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005784309139
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...