{"_id":"dmqnREuEmwNqRMHAc","bibbaseid":"neto-finger-aketableauforalogicofformalinconsistency-2007","authorIDs":[],"author_short":["Neto, A.","Finger, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Neto"],"firstnames":["Adolfo"],"suffixes":[]},{"propositions":[],"lastnames":["Finger"],"firstnames":["Marcelo"],"suffixes":[]}],"title":"A KE tableau for a logic of formal inconsistency","booktitle":"Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving. Marseille : Technical Report (LSIS.RR.2007.002) of the LSIS/Université Paul Cézanne, 2007.","year":"2007","bibtex":"@InProceedings{Neto2007,\n\t\t author = {Neto, Adolfo and Finger, Marcelo},\n\t\t title = {A {KE} tableau for a logic of formal inconsistency},\n\t\t\t booktitle = {Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving. Marseille : Technical Report (LSIS.RR.2007.002) of the LSIS/Universit{\\'e} Paul C{\\'e}zanne, 2007.},\n\t\t\t year = {2007},\n}\n\n","author_short":["Neto, A.","Finger, M."],"key":"Neto2007","id":"Neto2007","bibbaseid":"neto-finger-aketableauforalogicofformalinconsistency-2007","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.846Z","downloads":0,"keywords":[],"search_terms":["tableau","logic","formal","inconsistency","neto","finger"],"title":"A KE tableau for a logic of formal inconsistency","year":2007,"dataSources":["ChWnbF8EqSa8nccMs"]}