| Title: |
Two Proof Systems for Peirce Algebras |
| Authors: |
Schmidt, R.; Or{\l}owska, E.; Hustadt, U. |
| Contributors: |
Berghammer, R.; Möller, B.; Struth, G. |
| Source: |
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra ; Lecture Notes in Computer Science |
| Publication Year: |
2004 |
| Collection: |
Max Planck Society: MPG.PuRe |
| Description: |
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. |
| Document Type: |
conference object |
| Language: |
English |
| Availability: |
http://hdl.handle.net/11858/00-001M-0000-000F-2986-5 |
| Accession Number: |
edsbas.280E1CF1 |
| Database: |
BASE |