{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T09:47:19Z","timestamp":1751622439851,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T00:00:00Z","timestamp":1710547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T00:00:00Z","timestamp":1710547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"FWF P33548"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar\u2013Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first <jats:italic>finite<\/jats:italic> Hilbert-style single-conclusion axiomatizations for these logics.<\/jats:p>","DOI":"10.1007\/s11225-023-10079-w","type":"journal-article","created":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T07:02:11Z","timestamp":1710572531000},"page":"1215-1241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Finite Hilbert Systems for Weak Kleene Logics"],"prefix":"10.1007","volume":"112","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3240-386X","authenticated-orcid":false,"given":"Vitor","family":"Greati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6941-7555","authenticated-orcid":false,"given":"S\u00e9rgio","family":"Marcelino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,16]]},"reference":[{"key":"10079_CR1","doi-asserted-by":"publisher","unstructured":"Avron, A., and A. Zamansky, Non-deterministic semantics for logical systems, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 16, Springer, Dordrecht, 2011, pp. 227\u2013304. https:\/\/doi.org\/10.1007\/978-94-007-0479-4_4.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"10079_CR2","doi-asserted-by":"publisher","unstructured":"Baaz, M., C.G. Ferm\u00fcller, G. Salzer, and R. Zach, Multlog 1.0: Towards an expert system for many-valued logics, in M.A. McRobbie, and J.K. Slaney, (eds.), Automated Deduction\u2014CADE13, Springer, Berlin, Heidelberg, 1996, pp. 226\u2013230. https:\/\/doi.org\/10.1007\/3-540-61511-3_84.","DOI":"10.1007\/3-540-61511-3_84"},{"key":"10079_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., O. Lahav, and A. Zamansky, Finite-valued semantics for canonical labelled calculi, Journal of Automated Reasoning 51:401\u2013430, 2013. https:\/\/doi.org\/10.1007\/s10817-013-9273-x.","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"10079_CR4","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1093\/jigpal\/jzaa071","volume":"30","author":"A Belikov","year":"2021","unstructured":"Belikov, A., On bivalent semantics and natural deduction for some infectious logics, Logic Journal of the IGPL 30(1):186\u2013210, 2021. https:\/\/doi.org\/10.1093\/jigpal\/jzaa071.","journal-title":"Logic Journal of the IGPL"},{"key":"10079_CR5","doi-asserted-by":"publisher","unstructured":"Blasio, C., J. Marcos, and H. Wansing, An inferentially many-valued two-dimensional notion of entailment, Bulletin of the Section of Logic 46(3\/4):233\u2013262, 2017. https:\/\/doi.org\/10.18778\/0138-0680.46.3.4.05.","DOI":"10.18778\/0138-0680.46.3.4.05"},{"key":"10079_CR6","unstructured":"Bochvar, D.A., On a three-valued logical calculus and its application to the analysis of contradictions, Rec. Math. Moscou, n. Ser. 4:287\u2013308, 1938."},{"issue":"1\u20132","key":"10079_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/01445348108837023","volume":"2","author":"DA Bochvar","year":"1981","unstructured":"Bochvar, D.A., and M. Bergmann, On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus, History and Philosophy of Logic, 2(1-2):87\u2013112, 1981. https:\/\/doi.org\/10.1080\/01445348108837023.","journal-title":"History and Philosophy of Logic"},{"issue":"5","key":"10079_CR8","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1007\/s11225-020-09930-1","volume":"109","author":"S Bonzio","year":"2021","unstructured":"Bonzio, S., and M.P. Baldi, Containment logics: algebraic completeness and axiomatization, Studia Logica 109(5):969\u2013994, 2021. https:\/\/doi.org\/10.1007\/s11225-020-09930-1.","journal-title":"Studia Logica"},{"key":"10079_CR9","doi-asserted-by":"publisher","unstructured":"Bonzio, S., F. Paoli, and M. Pra\u00a0Baldi, Paraconsistent Weak Kleene Logic, Springer, Cham, 2022, pp. 159\u2013198. https:\/\/doi.org\/10.1007\/978-3-031-04297-3_7.","DOI":"10.1007\/978-3-031-04297-3_7"},{"key":"10079_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04297-3","author":"S Bonzio","year":"2022","unstructured":"Bonzio, S., F. Paoli, and M.P. Baldi, Logics of Variable Inclusion, Springer, Cham, 2022. https:\/\/doi.org\/10.1007\/978-3-031-04297-3.","journal-title":"Cham"},{"issue":"2","key":"10079_CR11","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: axiomatisation and algebraic analysis, Studia Logica 105(2):253\u2013297, 2017. https:\/\/doi.org\/10.1007\/s11225-016-9689-5.","journal-title":"Studia Logica"},{"issue":"1","key":"10079_CR12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s00153-020-00727-6","volume":"60","author":"S Bonzio","year":"2021","unstructured":"Bonzio, S., T. Moraschini, and M. Pra\u00a0Baldi, Logics of left variable inclusion and P\u0142onka sums of matrices, Archive for Mathematical Logic 60(1):49\u201376, 2021. https:\/\/doi.org\/10.1007\/s00153-020-00727-6.","journal-title":"Pra Baldi, Logics of left variable inclusion and P\u0142onka sums of matrices, Archive for Mathematical Logic"},{"key":"10079_CR13","doi-asserted-by":"publisher","unstructured":"Caleiro, C., and S. Marcelino, Analytic calculi for monadic PNmatrices, in R. Iemhoff, M. Moortgat, and R. Queiroz, (eds.), Logic, Language, Information and Computation (WoLLIC 2019), vol. 11541 of LNCS, Springer, Cham, 2019, pp. 84\u201398. https:\/\/doi.org\/10.1007\/978-3-662-59533-6_6.","DOI":"10.1007\/978-3-662-59533-6_6"},{"key":"10079_CR14","unstructured":"Caleiro, C., and S. Marcelino, Modular semantics for combined many-valued logics, Submitted, 2021. arXiv:2202.02189."},{"key":"10079_CR15","doi-asserted-by":"publisher","unstructured":"Caleiro, C., S. Marcelino, and P. Filipe, Infectious semantics and analytic calculi for even more inclusion logics, in 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 2020, pp. 224\u2013229. https:\/\/doi.org\/10.1109\/ISMVL49045.2020.000-1.","DOI":"10.1109\/ISMVL49045.2020.000-1"},{"issue":"7","key":"10079_CR16","doi-asserted-by":"publisher","first-page":"2193","DOI":"10.1093\/logcom\/exx001","volume":"27","author":"E Chemla","year":"2017","unstructured":"Chemla, E., P. \u00c9gr\u00e9, and B. Spector, Characterizing logical consequence in many-valued logic, Journal of Logic and Computation 27(7):2193\u20132226, 2017. https:\/\/doi.org\/10.1093\/logcom\/exx001.","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"10079_CR17","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1093\/jigpal\/jzy057","volume":"28","author":"B Da R\u00e9","year":"2018","unstructured":"Da\u00a0R\u00e9, B., F. Pailos, and D. Szmuc, Theories of truth based on four-valued infectious logics, Logic Journal of the IGPL, 28(5):712\u2013746, 2018. https:\/\/doi.org\/10.1093\/jigpal\/jzy057.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"10079_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"TM Ferguson","year":"2014","unstructured":"Ferguson, T.M., A computational interpretation of conceptivism, Journal of Applied Non-Classical Logics 24(4):333\u2013367, 2014. https:\/\/doi.org\/10.1080\/11663081.2014.980116.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10079_CR19","first-page":"41","volume":"33","author":"S Frankowski","year":"2004","unstructured":"Frankowski, S., Formalization of a plausible inference, Bulletin of the Section of Logic 33:41\u201352, 2004.","journal-title":"Bulletin of the Section of Logic"},{"key":"10079_CR20","unstructured":"Greati, V., Hilbert-style formalism for two-dimensional notions of consequence, Master\u2019s thesis, Universidade Federal do Rio Grande do Norte, 2022. https:\/\/repositorio.ufrn.br\/handle\/123456789\/46792."},{"key":"10079_CR21","doi-asserted-by":"publisher","unstructured":"Greati, V., and J. Marcos, Finite two-dimensional proof systems for non-finitely axiomatizable logics, in J. Blanchette, L. Kov\u00e1cs, and D. Pattinson, (eds.), Automated Reasoning, Springer, Cham, 2022, pp. 640\u2013658. https:\/\/doi.org\/10.1007\/978-3-031-10769-6_37.","DOI":"10.1007\/978-3-031-10769-6_37"},{"key":"10079_CR22","unstructured":"Greati, V., G. Greco, S. Marcelino, A. Palmigiano, and U. Rivieccio, Generating proof systems for three-valued propositional logics (submitted)."},{"key":"10079_CR23","doi-asserted-by":"publisher","unstructured":"Greati, V., S. Marcelino, and J. Marcos, Proof search on bilateralist judgments over non-deterministic semantics, in A. Das, and S. Negri, (eds.), Automated Reasoning with Analytic Tableaux and Related Methods, Springer, Cham, 2021, pp. 129\u2013146. https:\/\/doi.org\/10.1007\/978-3-030-86059-2_8.","DOI":"10.1007\/978-3-030-86059-2_8"},{"key":"10079_CR24","volume-title":"The Logic of Nonsense","author":"S Halld\u00e9n","year":"1949","unstructured":"Halld\u00e9n, S., The Logic of Nonsense, Upsala Universitets Arsskrift, Uppsala, Sweden, 1949."},{"key":"10079_CR25","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C., Introduction to Metamathematics, North Holland, Princeton, NJ, USA 1952."},{"key":"10079_CR26","doi-asserted-by":"publisher","unstructured":"Malinowski, G., Inferential many-valuedness, in J. Wole\u0144ski, (ed.), Philosophical Logic in Poland, vol. 228 of Synthese Library, Springer, Dordrecht, 1994, pp. 75\u201384. https:\/\/doi.org\/10.1007\/978-94-015-8273-5_6.","DOI":"10.1007\/978-94-015-8273-5_6"},{"key":"10079_CR27","doi-asserted-by":"publisher","first-page":"5373","DOI":"10.1007\/s11229-019-02142-8","volume":"198","author":"S Marcelino","year":"2021","unstructured":"Marcelino, S., and C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese 198:5373\u20135390, 2021. https:\/\/doi.org\/10.1007\/s11229-019-02142-8.","journal-title":"Synthese"},{"key":"10079_CR28","doi-asserted-by":"publisher","unstructured":"Marcelino, S., and C. Caleiro, Disjoint fibring of non-deterministic matrices, in R. de Queiroz, and J. Kennedy, (eds.), Logic, Language, Information and Computation (WoLLIC 2017), vol. 10388 of LNCS, Springer, Berlin, Heidelberg, 2017, pp. 242\u2013255. https:\/\/doi.org\/10.1007\/978-3-662-55386-2_17.","DOI":"10.1007\/978-3-662-55386-2_17"},{"key":"10079_CR29","doi-asserted-by":"publisher","unstructured":"Negri, S., J. von Plato, and A. Ranta, Structural Proof Theory, Cambridge University Press, Cambridge, 2001. https:\/\/doi.org\/10.1017\/CBO9780511527340.","DOI":"10.1017\/CBO9780511527340"},{"issue":"4","key":"10079_CR30","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s11225-019-09876-z","volume":"108","author":"F Paoli","year":"2020","unstructured":"Paoli, F., and M. Pra\u00a0Baldi, Proof theory of Paraconsistent Weak Kleene logics Studia Logica 108(4):779\u2013802, 2020. https:\/\/doi.org\/10.1007\/s11225-019-09876-z.","journal-title":"Pra Baldi, Proof theory of Paraconsistent Weak Kleene logics, Studia Logica"},{"issue":"2","key":"10079_CR31","first-page":"197","volume":"26","author":"Y Petrukhin","year":"2017","unstructured":"Petrukhin, Y., Natural deduction for three-valued regular logics, Logic and Logical Philosophy 26(2):197\u2013206, 2017.","journal-title":"Logic and Logical Philosophy"},{"key":"10079_CR32","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"AN Prior","year":"1967","unstructured":"Prior, A.N., Past, Present, and Future, Clarendon Press, Oxford, England, 1967."},{"key":"10079_CR33","doi-asserted-by":"publisher","unstructured":"Shoesmith, D.J., and T.J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, Cambridge, 1978. https:\/\/doi.org\/10.1017\/CBO9780511565687.","DOI":"10.1017\/CBO9780511565687"},{"key":"10079_CR34","doi-asserted-by":"publisher","unstructured":"Urquhart, A., Basic Many-Valued Logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. III, Springer, Dordrecht, 2001, pp. 249\u2013295. https:\/\/doi.org\/10.1007\/978-94-017-0452-6_4.","DOI":"10.1007\/978-94-017-0452-6_4"},{"key":"10079_CR35","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi. Basic Theory of Consequence Operations, vol. 199 of Synthese Library, Reidel, Dordrecht, 1988 http:\/\/books.google.com\/books?id=Ucxfry7oowIC."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10079-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10079-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10079-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T13:08:13Z","timestamp":1732108093000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10079-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,16]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["10079"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10079-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,3,16]]},"assertion":[{"value":"16 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}