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. 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.