R. A. Schmidt, E. Orlowska, and U. Hustadt (2004): Two proof systems for Peirce algebras

R. A. Schmidt, E. Orlowska, and U. Hustadt (2004): ``Two proof systems for Peirce algebras.'' In R. Berghammer, B. Möller, and G. Struth, editors, Revised Selected Papers of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra (Bad Malente, Germany, May 12-17 2003), pp. 238-251. LNCS 3051, Springer.
Abstract, BibTeX.

This paper develops and compares two tableaux-style proof systems for Peirce algebras. One is a tableau refutation proof system, the other is a proof system in the style of Rasiowa-Sikorski. [an error occurred while processing this directive]