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

R. A. Schmidt, E. Orlowska, and U. Hustadt (2003): ``Two proof systems for Peirce algebras.'' In R. Berghammer and B. Möller, editors, Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS-7) [Bad Malente, Germany, 12-17 May 2003], pp. 197-203. Christian-Albrechts-Universität Kiel.
Abstract, BibTeX, PDF.

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.