Automating Algebraic Proofs in Algebraic Logic
Jieh Hsiang, Anita Wasilewska · Fundamenta Informaticae · 1996
We present here an effective proof theory that allows one to reason within algebras of algebraic logic in a purely syntactic, algebraic fashion. We demonstrate the effectiveness of the method by discussing our automated proofs of problems and theorem