Two proof systems for Peirce algebras. Schmidt, R. A., Orłowska, E., & Hustadt, U. In Berghammer, R., Möller, B., & Struth, G., editors, Revised Selected Papers of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Kleene Algebra, volume 3051, of LNCS, pages 238-251, 2004. Springer.
Two proof systems for Peirce algebras [pdf]Paper  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.

Downloads: 0