{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:38:35Z","timestamp":1765280315213},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac071","type":"journal-article","created":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T09:36:45Z","timestamp":1665740205000},"page":"76-93","source":"Crossref","is-referenced-by-count":2,"title":["Paraconsistentization and many-valued logics"],"prefix":"10.1093","volume":"32","author":[{"given":"Edelcio G","family":"de Souza","sequence":"first","affiliation":[{"name":"University of S\u00e3o Paulo Rua Luciano Gualberto , 315 S\u00e3o Paulo SP CEP 05508-010 Brazil"}]},{"given":"Alexandre","family":"Costa-Leite","sequence":"additional","affiliation":[{"name":"University of Bras\u00edlia , Campus Universit\u00e1rio Darcy Ribeiro - ICC - Ala Norte Bras\u00edlia DF CEP 70910-900 Brazil"}]},{"given":"Diogo H B","family":"Dias","sequence":"additional","affiliation":[{"name":"State University of Northern Paran\u00e1 Av. Get\u00falio Vargas , 850 Jacarezinho PR CEP 86400-000 Brazil"}]}],"member":"286","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"key":"2024020618004198700_ref1","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-15951-0_10","article-title":"A formal analysis of logic-based argumentation systems","volume-title":"Scalable Uncertainty Management","author":"Amgoud","year":"2010"},{"key":"2024020618004198700_ref2","doi-asserted-by":"crossref","first-page":"1523","DOI":"10.1093\/logcom\/exy027","article-title":"Reasoning with maximal consistency by argumentative approaches","volume":"28","author":"Arieli","year":"2018","journal-title":"Journal of Logic and Computation"},{"key":"2024020618004198700_ref3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-81-322-2719-9_4","article-title":"Three-valued paraconsistent propositional logics","volume-title":"New Directions in Paraconsistent Logic","author":"Arieli","year":"2015"},{"key":"2024020618004198700_ref4","first-page":"706","article-title":"What Is an Ideal Logic for Reasoning with Inconsistency?","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","author":"Arieli","year":"2015"},{"key":"2024020618004198700_ref5","first-page":"60","article-title":"A formula-preferential base for paraconsistent and plausible reasoning systems","volume-title":"Proceedings of the Workshop on Inconsistency in Data and Knowledge","author":"Avron","year":"2001"},{"key":"2024020618004198700_ref6","first-page":"1449","article-title":"How to infer from inconsistent beliefs without revising?","volume":"2","author":"Benferhat","year":"1995","journal-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence"},{"key":"2024020618004198700_ref7","first-page":"263","article-title":"Paraconsistentization through antimonotonicity: towards a logic of supplement","volume-title":"Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza","author":"Bensusan","year":"2020"},{"key":"2024020618004198700_ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many Valued Logics 1: Theoretical Foundations","author":"Bolc","year":"1992"},{"key":"2024020618004198700_ref9","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1023\/B:LOGI.0000036831.48866.12","article-title":"Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus","volume":"33","author":"Brown","year":"2004","journal-title":"Journal of Philosophical Logic"},{"key":"2024020618004198700_ref10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/logcom\/exy032","article-title":"Maximality in finite-valued \u0141ukasiewicz logics defined by order filters","volume":"29","author":"Coniglio","year":"2019","journal-title":"Journal of Logic and Computation"},{"key":"2024020618004198700_ref11","volume-title":"Interactions of Metaphysical and Epistemic Concepts","author":"Costa-Leite","year":"2007"},{"key":"2024020618004198700_ref12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.5007\/808-1711.2014v18n2p175","article-title":"L\u00f3gicas da justifica\u00e7\u00e3o e quase-verdade","volume":"18","author":"Costa-Leite","year":"2014","journal-title":"Principia: an International Journal of Epistemology"},{"key":"2024020618004198700_ref13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.26512\/rfmc.v6i2.22104","article-title":"O problema das justifica\u00e7\u00f5es parciais","volume":"6","author":"Costa-Leite","year":"2018","journal-title":"Revista de Filosofia Moderna e Contempor\u00e2nea"},{"key":"2024020618004198700_ref14","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","article-title":"On the theory of inconsistent formal systems","volume":"15","author":"da Costa","year":"1974","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2024020618004198700_ref15","first-page":"621","article-title":"A semantical analysis of the calculi ${C}_n$","volume":"18","author":"da Costa","year":"1977","journal-title":"Notre Dame Journal of Fomal Logic"},{"key":"2024020618004198700_ref16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.14198\/DOXA1996.19.11","article-title":"Sobre algunas l\u00f3gicas paracl\u00e1sicas y el an\u00e1lisis del razonamiento jur\u00eddico","volume":"19","author":"da Costa","year":"1996","journal-title":"Doxa: Cuadernos de Filosofia del Derecho"},{"key":"2024020618004198700_ref17","volume-title":"O conhecimento cient\u00edfico","author":"da Costa","year":"1999"},{"key":"2024020618004198700_ref18","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1080\/11663081.2016.1225487","article-title":"On a paraconsistentization functor in the category of consequence structures","volume":"26","author":"de Souza","year":"2016","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2024020618004198700_ref19","first-page":"161","article-title":"Paradeduction in axiomatic formal systems","volume":"246","author":"de Souza","year":"2019","journal-title":"Logique et Analyse"},{"key":"2024020618004198700_ref20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s11787-021-00284-3","article-title":"Paraconsistent orbits of logics","volume":"15","author":"de Souza","year":"2021","journal-title":"Logica Universalis"},{"key":"2024020618004198700_ref21","volume-title":"Paraconsistentization of Logics","author":"Dias","year":"2019"},{"key":"2024020618004198700_ref22","first-page":"107","article-title":"Remarks on paraclassical logic","volume":"18","author":"de Souza","year":"1998","journal-title":"Boletim da Sociedade Paranaense de Matem\u00e1tica"},{"key":"2024020618004198700_ref23","volume-title":"Propositional Logics: the Semantic Foundations of Logic","author":"Epstein","year":"2001"},{"key":"2024020618004198700_ref24","first-page":"1929","article-title":"An interpretation of the intuitionistic propositional calculus","volume-title":"Collected Works","author":"G\u00f6del","year":"2001"},{"key":"2024020618004198700_ref25","volume-title":"A Treatise of Many-Valued Logics","author":"Gottwald","year":"2001"},{"key":"2024020618004198700_ref26","article-title":"The optimistic and cautious semantics for inconsistent knowledge bases","volume":"12","author":"Subrahmanian","year":"1995","journal-title":"Acta Cybernetics"},{"key":"2024020618004198700_ref27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12775\/LLP.1999.003","article-title":"A Propositional calculus for inconsistent deductive systems","volume":"7","author":"Ja\u015bkowski","year":"1999","journal-title":"Logic and Logical Philosophy"},{"key":"2024020618004198700_ref28","volume-title":"Introduction to Metamathematics","author":"Kleene","year":"2009"},{"key":"2024020618004198700_ref29","article-title":"On three-valued logic","volume-title":"Jan \u0141ukasiewicz: Selected Works","author":"Lukasiewicz","year":"1970"},{"key":"2024020618004198700_ref30","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"Malinowski","year":"1993"},{"key":"2024020618004198700_ref31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3138\/9781442688742-008","article-title":"Preserving logical structure","volume-title":"On Preserving: Essays on Preservationism and Paraconsistent Logic","author":"Payette","year":"2009"},{"key":"2024020618004198700_ref32","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","article-title":"The logic of paradox","volume":"8","author":"Priest","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"2024020618004198700_ref33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic","author":"Priest","year":"2008"},{"key":"2024020618004198700_ref34","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","article-title":"On inference from inconsistent premisses","volume":"1","author":"Rescher","year":"1970","journal-title":"Theory and Decision"},{"key":"2024020618004198700_ref35","first-page":"599","article-title":"A General Framework for Reasoning about Inconsistency","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence","author":"Subrahmanian","year":"2007"},{"key":"2024020618004198700_ref36","article-title":"On some fundamental concepts of metamathematics","volume-title":"Logic, Semantic, Metamathematics","author":"Tarski","year":"1930"},{"key":"2024020618004198700_ref37","article-title":"Fundamental concepts of the methodology of deductive sciences","volume-title":"Logic, Semantic, Metamathematics","author":"Tarski","year":"1930"},{"key":"2024020618004198700_ref38","first-page":"54","article-title":"Default assumptions and selection functions: a generic framework for non-monotonic logics","volume-title":"MICAI 2013: Advances in Artificial Intelligence and Its Applications","author":"van de Putte","year":"2013"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/1\/76\/56586555\/jzac071.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/32\/1\/76\/56586555\/jzac071.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T18:03:47Z","timestamp":1707242627000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/32\/1\/76\/6759788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":38,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2022,10,13]]},"published-print":{"date-parts":[[2024,1,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac071","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,2]]},"published":{"date-parts":[[2022,10,13]]}}}