Two Proof Systems for Peirce Algebras

Schmidt, R. A., Orlowska, E. and Hustadt, U. (2004)

In Berghammer, R. and Möller, B. and Struth, G. (eds), Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7). Lecture Notes in Computer Science, 3051 Springer, 238-251. BiBTeX, Springer Link.

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.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 06 Aug 10
Copyright © 2004 Renate A. Schmidt, School of Computer Science, Man Univ,