{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T23:44:50Z","timestamp":1609803890486},"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":5,"title":["A paraconsistent route to semantic closure"],"prefix":"10.1093","volume":"25","author":[{"given":"Eduardo Alejandro","family":"Barrio","sequence":"first","affiliation":[]},{"given":"Federico Matias","family":"Pailos","sequence":"additional","affiliation":[]},{"given":"Damian Enrique","family":"Szmuc","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2017,6,25]]},"reference":[{"key":"key\n\t\t\t\t20171012110342_B1","first-page":"1","year":"1993","article-title":"Systematic construction of natural deduction systems for many-valued logics.","journal-title":"Technical Report TUW-E185"},{"key":"key\n\t\t\t\t20171012110342_B2","year":"2009","volume-title":"Spandrels of Truth"},{"key":"key\n\t\t\t\t20171012110342_B3","volume":"4,","first-page":"4","year":"336","article-title":"Multiple-conclusion LP and default classicality.","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B4","first-page":"1","year":"2007","article-title":"Logics of formal inconsistency.","volume-title":"Handbook of Philosophical Logic","DOI":"10.1007\/978-1-4020-6324-4_1","doi-asserted-by":"crossref"},{"key":"key\n\t\t\t\t20171012110342_B5","year":"2016","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation"},{"key":"key\n\t\t\t\t20171012110342_B6","first-page":"1","year":"2002","article-title":"A taxonomy of C-systems. In","volume-title":"Paraconsistency: The Logical Way to the Inconsistent"},{"key":"key\n\t\t\t\t20171012110342_B7","volume":"22,","first-page":"22","year":"410","article-title":"An alternative approach for quasi-truth.","journal-title":"Logic Journal of IGPL"},{"key":"key\n\t\t\t\t20171012110342_B8","volume":"15,","first-page":"15","year":"510","article-title":"On the theory of inconsistent formal systems.","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","volume":"103,","first-page":"103","year":"851","article-title":"Classical negation and expansions of Belnap\u2013Dunn logic.","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20171012110342_B11","year":"2008","volume-title":"Saving Truth from Paradox"},{"key":"key\n\t\t\t\t20171012110342_B12","volume":"13,","first-page":"13","year":"122","article-title":"Omega-inconsistency without cuts and nonstandard models.","journal-title":"The Australasian Journal of Logic"},{"key":"key\n\t\t\t\t20171012110342_B13","volume":"74,","first-page":"74","year":"161","article-title":"On dialethism.","journal-title":"Australasian Journal of Philosophy"},{"key":"key\n\t\t\t\t20171012110342_B14","year":"2014","volume-title":"Axiomatic"},{"key":"key\n\t\t\t\t20171012110342_B15","volume":"27,","first-page":"27","year":"422","article-title":"Functional completeness and canonical forms in many-valued logics.","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B16","volume":"72,","first-page":"72","year":"716","article-title":"Outline of a theory of truth.","journal-title":"Journal of Philosophy"},{"key":"key\n\t\t\t\t20171012110342_B17","first-page":"309","year":"2001","article-title":"Many-valued logics. In","volume-title":"The Blackwell Guide to Philosophical Logic"},{"key":"key\n\t\t\t\t20171012110342_B18","volume":"4,","first-page":"4","year":"435","article-title":"Cut elimination in the presence of axioms.","journal-title":"Bulletin of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B19","volume":"42,","first-page":"42","year":"401","article-title":"Contraction-free sequent calculi for geometric theories with an application to Barr\u2019s theorem.","journal-title":"Archive for Mathematical Logic"},{"key":"key\n\t\t\t\t20171012110342_B20","volume":"8,","first-page":"8","year":"295","article-title":"Remarks on naive set theory based on LP.","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B21","year":"2012","volume-title":"Substructural Logics: A Primer"},{"key":"key\n\t\t\t\t20171012110342_B22","volume":"8,","first-page":"8","year":"241","article-title":"The logic of paradox.","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171012110342_B23","volume":"13,","first-page":"13","year":"179","article-title":"Logic of paradox revisited.","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171012110342_B24","year":"2006","volume-title":"In Contradiction: A Study of the Transconsistent"},{"key":"key\n\t\t\t\t20171012110342_B25","volume":"14,","first-page":"14","year":"127","article-title":"What if? The exploration of an idea.","journal-title":"The Australasian Journal of Logic"},{"key":"key\n\t\t\t\t20171012110342_B26","volume":"5,","first-page":"5","year":"378","article-title":"Conservatively extending classical logic with transparent truth.","journal-title":"Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20171012110342_B27","year":"1907","volume-title":"Many-Valued Logics"},{"key":"key\n\t\t\t\t20171012110342_B28","first-page":"152","year":"1936","article-title":"The concept of truth in formalized languages.","volume-title":"Logic, Semantics, Metamathematics"},{"key":"key\n\t\t\t\t20171012110342_B29","first-page":"173","year":"2012","article-title":"A Lattice of Implicative Extensions of Regular Kleene Logics.","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t20171012110342_B30","volume":"53,","first-page":"53","year":"252","article-title":"Paradox without self-reference.","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.0,"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,25]]},"references-count":30,"journal-issue":{"published-online":{"date-parts":[[2017,6,25]]},"published-print":{"date-parts":[[2017,8,1]]},"issue":"4"},"URL":"http:\/\/dx.doi.org\/10.1093\/jigpal\/jzx009","relation":{"cites":[]},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":["Philosophy"]}}