{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:12:58Z","timestamp":1778764378282,"version":"3.51.4"},"reference-count":30,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8,1]]},"DOI":"10.1093\/jigpal\/jzx009","type":"journal-article","created":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T19:10:52Z","timestamp":1493320252000},"page":"387-407","source":"Crossref","is-referenced-by-count":12,"title":["A paraconsistent route to semantic closure"],"prefix":"10.1093","volume":"25","author":[{"given":"Eduardo Alejandro","family":"Barrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico Matias","family":"Pailos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian Enrique","family":"Szmuc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2017,6,25]]},"reference":[{"key":"key\n\t\t\t\t20171012110342_B1","first-page":"1","article-title":"Systematic construction of natural deduction systems for many-valued logics.","year":"1993","journal-title":"Technical Report TUW-E185"},{"key":"key\n\t\t\t\t20171012110342_B2","volume-title":"Spandrels of Truth","year":"2009"},{"key":"key\n\t\t\t\t20171012110342_B3","first-page":"4","article-title":"Multiple-conclusion LP and default classicality.","volume":"4,","year":"336","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","article-title":"Logics of formal inconsistency.","volume-title":"Handbook of Philosophical Logic","year":"2007"},{"key":"key\n\t\t\t\t20171012110342_B5","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","year":"2016"},{"key":"key\n\t\t\t\t20171012110342_B6","first-page":"1","article-title":"A taxonomy of C-systems. In","volume-title":"Paraconsistency: The Logical Way to the Inconsistent","year":"2002"},{"key":"key\n\t\t\t\t20171012110342_B7","first-page":"22","article-title":"An alternative approach for quasi-truth.","volume":"22,","year":"410","journal-title":"Logic Journal of IGPL"},{"key":"key\n\t\t\t\t20171012110342_B8","first-page":"15","article-title":"On the theory of inconsistent formal systems.","volume":"15,","year":"510","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t20171012110342_B9","year":"1993","journal-title":"Sistemas formais inconsistentes (Inconsistent formal systems, in Portuguese)"},{"key":"key\n\t\t\t\t20171012110342_B10","first-page":"103","article-title":"Classical negation and expansions of Belnap\u2013Dunn logic.","volume":"103,","year":"851","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20171012110342_B11","volume-title":"Saving Truth from Paradox","year":"2008"},{"key":"key\n\t\t\t\t20171012110342_B12","first-page":"13","article-title":"Omega-inconsistency without cuts and nonstandard models.","volume":"13,","year":"122","journal-title":"The Australasian Journal of Logic"},{"key":"key\n\t\t\t\t20171012110342_B13","first-page":"74","article-title":"On dialethism.","volume":"74,","year":"161","journal-title":"Australasian Journal of Philosophy"},{"key":"key\n\t\t\t\t20171012110342_B14","volume-title":"Axiomatic","year":"2014"},{"key":"key\n\t\t\t\t20171012110342_B15","first-page":"27","article-title":"Functional completeness and canonical forms in many-valued logics.","volume":"27,","year":"422","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B16","first-page":"72","article-title":"Outline of a theory of truth.","volume":"72,","year":"716","journal-title":"Journal of Philosophy"},{"key":"key\n\t\t\t\t20171012110342_B17","first-page":"309","article-title":"Many-valued logics. In","volume-title":"The Blackwell Guide to Philosophical Logic","year":"2001"},{"key":"key\n\t\t\t\t20171012110342_B18","first-page":"4","article-title":"Cut elimination in the presence of axioms.","volume":"4,","year":"435","journal-title":"Bulletin of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B19","first-page":"42","article-title":"Contraction-free sequent calculi for geometric theories with an application to Barr\u2019s theorem.","volume":"42,","year":"401","journal-title":"Archive for Mathematical Logic"},{"key":"key\n\t\t\t\t20171012110342_B20","first-page":"8","article-title":"Remarks on naive set theory based on LP.","volume":"8,","year":"295","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B21","volume-title":"Substructural Logics: A Primer","year":"2012"},{"key":"key\n\t\t\t\t20171012110342_B22","first-page":"8","article-title":"The logic of paradox.","volume":"8,","year":"241","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171012110342_B23","first-page":"13","article-title":"Logic of paradox revisited.","volume":"13,","year":"179","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171012110342_B24","volume-title":"In Contradiction: A Study of the Transconsistent","year":"2006"},{"key":"key\n\t\t\t\t20171012110342_B25","first-page":"14","article-title":"What if? The exploration of an idea.","volume":"14,","year":"127","journal-title":"The Australasian Journal of Logic"},{"key":"key\n\t\t\t\t20171012110342_B26","first-page":"5","article-title":"Conservatively extending classical logic with transparent truth.","volume":"5,","year":"378","journal-title":"Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B27","volume-title":"Many-Valued Logics","year":"1907"},{"key":"key\n\t\t\t\t20171012110342_B28","first-page":"152","article-title":"The concept of truth in formalized languages.","volume-title":"Logic, Semantics, Metamathematics","year":"1936"},{"key":"key\n\t\t\t\t20171012110342_B29","first-page":"173","article-title":"A Lattice of Implicative Extensions of Regular Kleene Logics.","year":"2012","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t20171012110342_B30","first-page":"53","article-title":"Paradox without self-reference.","volume":"53,","year":"252","journal-title":"Analysis"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/25\/4\/387\/19367630\/jzx009.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T15:03:52Z","timestamp":1507820632000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/jigpal\/article\/25\/4\/387\/3891483\/A-paraconsistent-route-to-semantic-closure"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,25]]},"references-count":30,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,6,25]]},"published-print":{"date-parts":[[2017,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzx009","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,8]]},"published":{"date-parts":[[2017,6,25]]}}}