{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:49:16Z","timestamp":1774374556851,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T00:00:00Z","timestamp":1571875200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T00:00:00Z","timestamp":1571875200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["689176"],"award-info":[{"award-number":["689176"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014810","name":"Fondazione di Sardegna","doi-asserted-by":"crossref","award":["F72 F16 003 220 002"],"award-info":[{"award-number":["F72 F16 003 220 002"]}],"id":[{"id":"10.13039\/100014810","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100009873","name":"Regione Autonoma della Sardegna","doi-asserted-by":"publisher","award":["F72 F16 002 920 002"],"award-info":[{"award-number":["F72 F16 002 920 002"]}],"id":[{"id":"10.13039\/501100009873","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s11225-019-09876-z","type":"journal-article","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T18:59:41Z","timestamp":1572029981000},"page":"779-802","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Proof Theory of Paraconsistent Weak Kleene Logic"],"prefix":"10.1007","volume":"108","author":[{"given":"Francesco","family":"Paoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Pra Baldi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,24]]},"reference":[{"key":"9876_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A., Simple consequence relations, Information and Computation 92:105\u2013139, 1991.","journal-title":"Information and Computation"},{"issue":"5","key":"9876_CR2","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., L. Rosenblatt, and D. Tajer, The logics of strict-tolerant logic, Journal of Philosophical Logic 44(5):551\u2013571, 2015.","journal-title":"Journal of Philosophical Logic"},{"key":"9876_CR3","doi-asserted-by":"publisher","first-page":"136","DOI":"10.26686\/ajl.v13i6.3976","volume":"13","author":"JC Beall","year":"2016","unstructured":"Beall, J. C., A new interpretation of weak Kleene logic, Australasian Journal of Logic 13:136\u2013142, 2016.","journal-title":"Australasian Journal of Logic"},{"key":"9876_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1305\/ndjfl\/1093634659","volume":"34","author":"A Bloesch","year":"1993","unstructured":"Bloesch, A., A tableau style proof system for two paraconsistent logics, Notre Dame Journal of Formal Logic 34:295\u2013301, 1993.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9876_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W. J., and B. J\u00f3nsson, Equivalence of consequence operations, Studia Logica 83:91\u2013110, 2006.","journal-title":"Studia Logica"},{"key":"9876_CR6","first-page":"287","volume":"4","author":"DA Bochvar","year":"1938","unstructured":"Bochvar, D. A., On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus, Mathematicheskii Sbornik 4:287\u2013308, 1938.","journal-title":"Mathematicheskii Sbornik"},{"issue":"2","key":"9876_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11225-016-9689-5","volume":"105","author":"S Bonzio","year":"2017","unstructured":"Bonzio, S., J. Gil-F\u00e9rez, F. Paoli, and L. Peruzzi, On Paraconsistent Weak Kleene Logic: Axiomatization and algebraic analysis, Studia Logica 105(2):253\u2013297, 2017.","journal-title":"Studia Logica"},{"key":"9876_CR8","unstructured":"Bonzio, S., T. Moraschini, and M. Pra Baldi, Logics of left variable inclusion and P\u0142onka sums of matrices, submitted manuscript."},{"key":"9876_CR9","unstructured":"Bonzio, S., M. Pra Baldi, Containment logics and P\u0142onka sums of matrices, submitted manuscript."},{"key":"9876_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1080\/00048407312341261","volume":"51","author":"R Brady","year":"1973","unstructured":"Brady, R., and R. Routley, Don\u2019t care was made to care, Australasian Journal of Philosophy 51:211\u2013225, 1973.","journal-title":"Australasian Journal of Philosophy"},{"key":"9876_CR11","first-page":"165","volume-title":"New Developments in Logic and the Philosophy of Science","author":"R Ciuni","year":"2016","unstructured":"Ciuni, R., and M. Carrara, Characterizing logical consequence in Paraconsistent Weak Kleene, in L. Felline, A. Ledda, F. Paoli, and E. Rossanese, (eds.), New Developments in Logic and the Philosophy of Science, College, London, 2016, pp. 165\u2013176."},{"issue":"1","key":"9876_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/11663081.2018.1547514","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., and M. Carrara, Semantical analysis of weak Kleene logics, Journal of Applied Nonclassical Logics 29(1):1\u201336, 2019.","journal-title":"Journal of Applied Nonclassical Logics"},{"key":"9876_CR13","doi-asserted-by":"crossref","unstructured":"Ciuni R., T. M. Ferguson, and D. Szmuc, Relevant logics obeying component homogeneity. Australasian Journal of Logic 15(2):301\u2013361, 2018.","DOI":"10.26686\/ajl.v15i2.4864"},{"issue":"5","key":"9876_CR14","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/logcom\/exz009","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., and T. M. Ferguson, Logics based on linear orders of contaminating values, Journal of Logic and Computation 29(5):631\u2013663, 2019.","journal-title":"Journal of Logic and Computation"},{"key":"9876_CR15","doi-asserted-by":"crossref","unstructured":"Ciuni, R., T. M. Ferguson, and D. Szmuc, Modelling the interaction of computer errors by four-valued contaminating logics, Proceedings of WoLLIC 2019, to appear.","DOI":"10.1007\/978-3-662-59533-6_8"},{"issue":"488","key":"9876_CR16","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros P., P. Egr\u00e9, D. Ripley, and R. van Rooij, Reaching transparent truth, Mind 122(488):841\u2013866, 2013.","journal-title":"Mind"},{"key":"9876_CR17","doi-asserted-by":"crossref","unstructured":"Coniglio, M. E., and M. I. Corbal\u00e1n, Sequent calculi for the classical fragment of Bochvar and Halld\u00e9n\u2019s nonsense logics, Proceedings of LSFA 2012, pp. 125\u2013136.","DOI":"10.4204\/EPTCS.113.12"},{"key":"9876_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1142\/9789812776471_0005","volume-title":"Advances in Modal Logic","author":"F Correia","year":"2002","unstructured":"Correia, F., Weak necessity on weak Kleene matrices, in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyashev, (eds.), Advances in Modal Logic, World Scientific, River Edge, NJ, 2002, pp. 73\u201390."},{"key":"9876_CR19","unstructured":"D\u2019Agostino, M., Investigations into the Complexity of Some Propositional Calculi, Oxford University Computing Laboratory Technical Monographs, Report PRG-88, 1990."},{"key":"9876_CR20","unstructured":"Dicher, B., and F. Paoli, ST, LP, and tolerant metainferences, in T. M. Ferguson, and H. Omori, (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, Berlin, forthcoming."},{"key":"9876_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70821-8","volume-title":"Meaning and Proscription in Formal Logic","author":"TM Ferguson","year":"2017","unstructured":"Ferguson, T. M., Meaning and Proscription in Formal Logic, Springer, Berlin, 2017."},{"key":"9876_CR22","unstructured":"Ferguson, T. M., Secrecy, content, and quantification, Analisis Filosofico, forthcoming."},{"key":"9876_CR23","volume-title":"Abstract Algebraic Logic: An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J. M., Abstract Algebraic Logic: An Introductory Textbook, College Publications, London, 2016."},{"key":"9876_CR24","volume-title":"Proof Theory and Logical Complexity","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y., Proof Theory and Logical Complexity, Bibliopolis, Napoli, 1987."},{"key":"9876_CR25","volume-title":"The Logic of Nonsense","author":"S Hallden","year":"1949","unstructured":"Hallden, S., The Logic of Nonsense, Lundequista Bokhandeln, Uppsala, 1949."},{"key":"9876_CR26","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S. C., Introduction to Metamathematics, North Holland, Amsterdam, 1952."},{"key":"9876_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9409-5","volume-title":"Proof Theory for Fuzzy Logics","author":"G Metcalfe","year":"2009","unstructured":"Metcalfe G., N. Olivetti, and D. Gabbay, Proof Theory for Fuzzy Logics, Springer, Berlin, 2009."},{"key":"9876_CR28","doi-asserted-by":"crossref","unstructured":"Omori, H., and D. Szmuc, Conjunction and Disjunction in Infectious Logics, in Proceedings of LORI 2017, Springer, 2017, pp. 268\u2013283.","DOI":"10.1007\/978-3-662-55665-8_19"},{"key":"9876_CR29","first-page":"153","volume-title":"Handbook of Paraconsistency","author":"F Paoli","year":"2007","unstructured":"Paoli, F., Tautological entailments and their rivals, in J. Y. Beziau, et al. (eds.), Handbook of Paraconsistency, College Publications, London, 2007, pp. 153\u2013175."},{"key":"9876_CR30","unstructured":"Pra Baldi, M., Logics of variable inclusion and the lattice of consequence relations, typescript."},{"key":"9876_CR31","doi-asserted-by":"crossref","unstructured":"Priest, G., Paraconsistent logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, new edition, Kluwer, Dordrecht, vol. 6, 2002, pp. 287\u2013393.","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"9876_CR32","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In Contradiction, 2nd","author":"G Priest","year":"2006","unstructured":"Priest, G., In Contradiction, 2nd expanded ed., Clarendon, Oxford, 2006.","edition":"expanded"},{"key":"9876_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Nonclassical Logics: From If to Is","author":"G Priest","year":"2008","unstructured":"Priest, G., An Introduction to Nonclassical Logics: From If to Is, Cambridge University Press, Cambridge, 2008."},{"key":"9876_CR34","unstructured":"Priest, G., Natural deduction systems for logics in the FDE family, in H. Omori and H. Wansing, (eds.), New Essays in Belnap-Dunn Logic, Springer, Berlin, forthcoming."},{"key":"9876_CR35","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A., Time and Modality, Oxford University Press, Oxford, 1957."},{"key":"9876_CR36","first-page":"35","volume":"39","author":"A Pynko","year":"2010","unstructured":"Pynko, A., Gentzen\u2019s cut-free calculus versus the logic of paradox, Bulletin of the Section of Logic 39:35\u201342, 2010.","journal-title":"Bulletin of the Section of Logic"},{"issue":"1","key":"9876_CR37","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D., Paradoxes and failures of cut, Australasian Journal of Philosophy 91(1):139\u2013164, 2013.","journal-title":"Australasian Journal of Philosophy"},{"key":"9876_CR38","first-page":"175","volume-title":"Sociative Logics and Their Applications","author":"R Sylvan","year":"2000","unstructured":"Sylvan, R., On reasoning: (Ponible) reason for (and also against) relevance, in D. Hyde and G. Priest, (eds.), Sociative Logics and Their Applications, Aldershot, Ashgate, 2000, pp. 175\u2013188."},{"issue":"2","key":"9876_CR39","first-page":"277","volume":"28","author":"D Szmuc","year":"2019","unstructured":"Szmuc, D., An epistemic interpretation of Paraconsistent Weak Kleene Logic, Logic and Logical Philosophy 28(2):277\u2013330, 2019.","journal-title":"Logic and Logical Philosophy"},{"key":"9876_CR40","unstructured":"Szmuc, D., and T. M. Ferguson, Meaningless divisions, typescript."},{"key":"9876_CR41","doi-asserted-by":"crossref","unstructured":"Urquhart, A., Basic many-valued logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, new edition, Kluwer, Dordrecht, vol. 2, 2002, pp. 249\u2013296.","DOI":"10.1007\/978-94-017-0452-6_4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09876-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09876-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09876-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T23:19:56Z","timestamp":1603408796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09876-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,24]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["9876"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09876-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,24]]},"assertion":[{"value":"27 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}