{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:03:21Z","timestamp":1777892601953,"version":"3.51.4"},"reference-count":13,"publisher":"Springer US","isbn-type":[{"value":"9780387346540","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34747-9_48","type":"book-chapter","created":{"date-parts":[[2006,10,8]],"date-time":"2006-10-08T23:56:39Z","timestamp":1160351799000},"page":"465-474","source":"Crossref","is-referenced-by-count":6,"title":["Effective Prover for Minimal Inconsistency Logic"],"prefix":"10.1007","author":[{"given":"Adolfo Gustavo Serra Seca","family":"Neto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Finger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"48_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"H. A. Blair and V. S. Subrahmanian. Paraconsistent logic programming. Theor. Comput. Sci., 68(2):135\u2013154, 1989.","journal-title":"Theor. Comput. Sci."},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-7643-7304-0_10","volume-title":"Logica Universalis","author":"C. Caleiro","year":"2005","unstructured":"Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio, and Joao Marcos. Two\u2019s company: \u201cThe humbug of many logical values\u201d. In Logica Universalis, pages 169\u2013189. Birkh\u00e4user Verlag, Basel, Switzerland, 2005."},{"key":"48_CR3","unstructured":"Walter Carnielli, Marcelo E. Coniglio, and Joao Marcos. Logics of Formal Inconsistency. In Handbook of Philosophical Logic, volume 12. Kluwer Academic Publishers, 2005."},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, and V. S. Subrahmanian. Automatic theorem proving in paraconsistent logics: theory and implementation. In CADE-10: Proceedings of the tenth international conference on Automated deduction, pages 72\u201386, New York, NY, USA, 1990. Springer-Verlag New York, Inc.","DOI":"10.1007\/3-540-52885-7_80"},{"key":"48_CR5","unstructured":"Newton C. A. da Costa, D\u00e9cio Krause, and Ot\u00e1vio Bueno. Paraconsistent logics and paraconsistency: Technical and philosophical developments. CLE e-prints (Section Logic), 4(3), 2004."},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Marcello D\u2019Agostino. Tableau methods for classical propositional logic. In Marcello D\u2019Agostino et al., editor, Handbook of Tableau Methods, chapter 1, pages 45\u2013123. Kluwer Academic Press, 1999.","DOI":"10.1007\/978-94-017-1754-0_2"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Marcello D\u2019Agostino and Marco Mondadori. The taming of the cut: Classical refutations with analytic cut. Journal of Logic and Computation, pages 285\u2013319, 1994.","DOI":"10.1093\/logcom\/4.3.285"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"Sandra de Amo, Walter Alexandre Carnielli, and Joao Marcos. A logical frame-work for integrating inconsistent information in multiple databases. In FoIKS\u2019 02: Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems, pages 67\u201384, London, UK, 2002. Springer-Verlag.","DOI":"10.1007\/3-540-45758-5_5"},{"issue":"l","key":"48_CR9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.3166\/jancl.15.69-103","volume":"15","author":"I. M. Loffredo D\u2019Ottaviano","year":"2005","unstructured":"Itala M. Loffredo D\u2019Ottaviano and Milton Augustinis de Castro. Analytical Tableaux for da Costa\u2019s Hierarchy of Paraconsistent Logics C n, 1 \u2264 n \u2264 \u03c9). Journal of Applied Non-Classical Logics, 15(l):69\u2013103, 2005.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"48_CR10","unstructured":"Adolfo Gustavo Serra Seca Neto. KEMS-A KE-based Multi-Strategy Theorem Prover, 2006. Retrieved February 01, 2006, from http:\/\/gsd.ime.usp.br\/~adolfo\/projetos\/KEMS.zip."},{"key":"48_CR11","unstructured":"Adolfo Gustavo Serra Seca Neto and Marcelo Finger. Implementing a multi-strategy theorem prover. In Ana Cristina Bicharra Garcia and Fernando Santos Os\u00f3rio, editors, Proceedings of the V ENIA, S\u00e3o Leopoldo-RS, Brazil, July 22\u201329 2005, 2005."},{"key":"48_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1111\/j.1755-2567.2001.tb00204.x","volume":"67","author":"G. Priest","year":"2001","unstructured":"G. Priest. Paraconsistent Belief Revision. Theoria, 67:214\u2013228, 2001.","journal-title":"Theoria"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Raymond M. Smullyan. First-Order Logic. Springer-Verlag, 1968.","DOI":"10.1007\/978-3-642-86718-7"}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34747-9_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:44:53Z","timestamp":1605649493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34747-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387346540"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34747-9_48","relation":{},"subject":[]}}