@INPROCEEDINGS{Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003,
 AUTHOR        = {Schmidt, Renate A. and Or{\l}owska, Ewa and 
 Hustadt, Ullrich},
 TITLE         = {Two proof systems for {Peirce} algebras},
 BOOKTITLE     = {Revised Selected Papers of the 7th International 
 Seminar on Relational Methods in Computer Science and the
 2nd International Workshop on Kleene Algebra},
 YEAR          = {2004},
 EDITOR        = {Berghammer, Rudolf and M{\"o}ller, Bernhard
 and Struth, Georg},
 PAGES         = {238-251},
 PUBLISHER     = {Springer},
 ADDRESS       = {},
 PADDRESS      = {Berlin},
 PYEAR         = {2004},
 CADDRESS      = {Bad Malente, Germany},
 CYEAR         = {2003},
 CMONTH        = may # {~12--17},
 SERIES        = {LNCS},
 VOLUME        = {3051},
 URL           = {Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003.pdf},
 ABSTRACT      = {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.}
}

{"_id":{"_str":"5342413a0e946d920a00032f"},"__v":4,"authorIDs":["545916c7b43425b77200033b"],"author_short":["Schmidt, R. A.","Orłowska, E.","Hustadt, U."],"bibbaseid":"schmidt-orowska-hustadt-twoproofsystemsforpeircealgebras-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schmidt"],"firstnames":["Renate","A."],"suffixes":[]},{"propositions":[],"lastnames":["Orłowska"],"firstnames":["Ewa"],"suffixes":[]},{"propositions":[],"lastnames":["Hustadt"],"firstnames":["Ullrich"],"suffixes":[]}],"title":"Two proof systems for Peirce algebras","booktitle":"Revised Selected Papers of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Kleene Algebra","year":"2004","editor":[{"propositions":[],"lastnames":["Berghammer"],"firstnames":["Rudolf"],"suffixes":[]},{"propositions":[],"lastnames":["Möller"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Struth"],"firstnames":["Georg"],"suffixes":[]}],"pages":"238-251","publisher":"Springer","address":"","paddress":"Berlin","pyear":"2004","caddress":"Bad Malente, Germany","cyear":"2003","cmonth":"May 12–17","series":"LNCS","volume":"3051","url":"Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003.pdf","abstract":"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.","bibtex":"@INPROCEEDINGS{Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003,\n AUTHOR = {Schmidt, Renate A. and Or{\\l}owska, Ewa and \n Hustadt, Ullrich},\n TITLE = {Two proof systems for {Peirce} algebras},\n BOOKTITLE = {Revised Selected Papers of the 7th International \n Seminar on Relational Methods in Computer Science and the\n 2nd International Workshop on Kleene Algebra},\n YEAR = {2004},\n EDITOR = {Berghammer, Rudolf and M{\\\"o}ller, Bernhard\n and Struth, Georg},\n PAGES = {238-251},\n PUBLISHER = {Springer},\n ADDRESS = {},\n PADDRESS = {Berlin},\n PYEAR = {2004},\n CADDRESS = {Bad Malente, Germany},\n CYEAR = {2003},\n CMONTH = may # {~12--17},\n SERIES = {LNCS},\n VOLUME = {3051},\n URL = {Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003.pdf},\n ABSTRACT = {This paper develops and compares two tableaux-style\n proof systems for Peirce algebras. One is a tableau refutation proof\n system, the other is a proof system in the style of Rasiowa-Sikorski.}\n}\n","author_short":["Schmidt, R. A.","Orłowska, E.","Hustadt, U."],"editor_short":["Berghammer, R.","Möller, B.","Struth, G."],"key":"Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003","id":"Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003","bibbaseid":"schmidt-orowska-hustadt-twoproofsystemsforpeircealgebras-2004","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Schmidt+Orlowska+Hustadt@RSRelMiCSIWAKA2003.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","downloads":0,"keywords":[],"search_terms":["two","proof","systems","peirce","algebras","schmidt","orłowska","hustadt"],"title":"Two proof systems for Peirce algebras","year":2004,"dataSources":["p6py5bqMdg7vzjQS3","WhiGijHmCtTSdLaAj"]}