Resolution-based Theorem Proving for Many-valued Logics

• 1 April 1995
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 19  (4) , 353-391
• https://doi.org/10.1006/jsco.1995.1021

Abstract

Keywords

• VALUED LOGICS
• RESOLUTION
• THEOREM
• TRANSLATION
• FUNCTIONALLY
• CLAUSE
• STEP
• RULE