Equational propositional logic

• 10 February 1995
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 53  (3) , 145-152
• https://doi.org/10.1016/0020-0190(94)00198-8

Abstract

Keywords

• LOGIC
• THEOREM PROVING
• EQUATIONAL REASONING
• SOUNDNESS
• COMPLETENESS