@INPROCEEDINGS{Schmidt+Orlowska+Hustadt@RelMiCS2003,
 AUTHOR        = {Schmidt, Renate A. and Or{\l}owska, Ewa and 
 Hustadt, Ullrich},
 TITLE         = {Two proof systems for {Peirce} algebras},
 BOOKTITLE     = {Proceedings of the 7th International Seminar on
 Relational Methods in Computer Science (RelMiCS-7)
 [Bad Malente, Germany, 12-17 May 2003]},
 YEAR          = {2003},
 EDITOR        = {Berghammer, Rudolf and M{\"o}ller, Bernhard},
 PAGES         = {197--203},
 PUBLISHER     = {Christian-Albrechts-Universit{\"a}t Kiel},
 CADDRESS      = {Bad Malente, Germany},
 CYEAR         = {2003},
 CMONTH        = may # {~12--17},
 URL           = {Schmidt+Orlowska+Hustadt@RelMiCS2003.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":"5342413a0e946d920a000355"},"__v":4,"authorIDs":["545916c7b43425b77200033b"],"author_short":["Schmidt, R. A.","Orłowska, E.","Hustadt, U."],"bibbaseid":"schmidt-orowska-hustadt-twoproofsystemsforpeircealgebras-2003","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":"Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS-7) [Bad Malente, Germany, 12-17 May 2003]","year":"2003","editor":[{"propositions":[],"lastnames":["Berghammer"],"firstnames":["Rudolf"],"suffixes":[]},{"propositions":[],"lastnames":["Möller"],"firstnames":["Bernhard"],"suffixes":[]}],"pages":"197–203","publisher":"Christian-Albrechts-Universität Kiel","caddress":"Bad Malente, Germany","cyear":"2003","cmonth":"May 12–17","url":"Schmidt+Orlowska+Hustadt@RelMiCS2003.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@RelMiCS2003,\n AUTHOR = {Schmidt, Renate A. and Or{\\l}owska, Ewa and \n Hustadt, Ullrich},\n TITLE = {Two proof systems for {Peirce} algebras},\n BOOKTITLE = {Proceedings of the 7th International Seminar on\n Relational Methods in Computer Science (RelMiCS-7)\n [Bad Malente, Germany, 12-17 May 2003]},\n YEAR = {2003},\n EDITOR = {Berghammer, Rudolf and M{\\\"o}ller, Bernhard},\n PAGES = {197--203},\n PUBLISHER = {Christian-Albrechts-Universit{\\\"a}t Kiel},\n CADDRESS = {Bad Malente, Germany},\n CYEAR = {2003},\n CMONTH = may # {~12--17},\n URL = {Schmidt+Orlowska+Hustadt@RelMiCS2003.pdf},\n ABSTRACT = {This paper develops and compares two tableaux-style proof systems for\n Peirce algebras.\n One is a tableau refutation proof system, the other is a proof system in\n the style of Rasiowa-Sikorski.}\n}\n","author_short":["Schmidt, R. A.","Orłowska, E.","Hustadt, U."],"editor_short":["Berghammer, R.","Möller, B."],"key":"Schmidt+Orlowska+Hustadt@RelMiCS2003","id":"Schmidt+Orlowska+Hustadt@RelMiCS2003","bibbaseid":"schmidt-orowska-hustadt-twoproofsystemsforpeircealgebras-2003","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Schmidt+Orlowska+Hustadt@RelMiCS2003.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":2003,"dataSources":["p6py5bqMdg7vzjQS3","WhiGijHmCtTSdLaAj"]}