Equational Propositional Logic
Gries, David; Schneider, Fred B.
We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the more traditional Hilbert style.
computer science; technical report
Previously Published As