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, schmidt@cs.man.ac.uk