{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:12:03Z","timestamp":1780560723614,"version":"3.54.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T00:00:00Z","timestamp":1739404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T00:00:00Z","timestamp":1739404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100018694","name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["101086295"],"award-info":[{"award-number":["101086295"]}],"id":[{"id":"10.13039\/100018694","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    In his 2016 article\n                    <jats:italic>On All Strong Kleene Generalizations of Classical Logic<\/jats:italic>\n                    , Stefan Wintein provides a detailed and comprehensive semantic and tableau-based analysis of the consequence relations that can be defined over the four-valued Belnap\u2013Dunn semantics. These include familiar consequence relations like\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\textsf{FDE}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>FDE<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , which takes\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\{t, b\\}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mo>{<\/mml:mo>\n                            <mml:mi>t<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:mi>b<\/mml:mi>\n                            <mml:mo>}<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    as the set of designated values, but also much less familiar relations that don\u2019t follow the designated-value strategy (i.e. defining logical consequence as preservation of a set of values). It turns out that many of the interesting features of these relations are made evident at the level of metainferences and, although Wintein discusses some aspects of metainferences, his work does not provide a systematic way to decide on the validity of metainferences for these logics. In this paper, we extend Wintein\u2019s tableaux from inferences to metainferences. The paper ends with a discussion about different ways in which we can understand the notion of metainference validity.\n                  <\/jats:p>","DOI":"10.1007\/s11225-024-10166-6","type":"journal-article","created":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T03:16:50Z","timestamp":1739416610000},"page":"639-671","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On a Generalization of all Strong Kleene Generalizations of Classical Logic"],"prefix":"10.1007","volume":"114","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8239-5373","authenticated-orcid":false,"given":"Pablo","family":"Cobreros","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Isabel","family":"Gr\u00e1balos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1297-0912","authenticated-orcid":false,"given":"Joaqu\u00edn S.","family":"Toranzo Calder\u00f3n","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"Vi\u00f1eta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2069-1832","authenticated-orcid":false,"given":"Martina","family":"Zirattu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,2,13]]},"reference":[{"issue":"5","key":"10166_CR1","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"},{"issue":"1","key":"10166_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10992-019-09513-z","volume":"49","author":"EA Barrio","year":"2020","unstructured":"Barrio, E.A., F. Pailos, and D. Szmuc, A hierarchy of classical and paraconsistent logics, Journal of Philosophical Logic 49(1):93\u2013120, 2020.","journal-title":"Journal of Philosophical Logic"},{"key":"10166_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N., A useful four-valued logic, in J.M. Dunn, and G. Epstein, (eds.), Modern uses of multiple-valued logic, Springer, Dordrecht, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"issue":"7","key":"10166_CR4","first-page":"2193","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.","journal-title":"Journal of Logic and Computation"},{"key":"10166_CR5","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s11225-012-9422-y","volume":"100","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., P. \u00c9gr\u00e9, D. Ripley, and R. van Rooij, Tolerance and mixed consequence in the s\u2019valuationist setting, Studia Logica 100:855\u2013877, 2012.","journal-title":"Studia logica"},{"issue":"488","key":"10166_CR6","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., P. \u00c9gr\u00e9, D. Ripley, and R. van Rooij, Reaching transparent truth, Mind 122(488):841\u2013866, 2013.","journal-title":"Mind"},{"key":"10166_CR7","doi-asserted-by":"crossref","unstructured":"Cobreros, P., P. \u00c9gr\u00e9, D. Ripley, and R. van Rooij, Inferences and metainferences in ST, Journal of Philosophical Logic 49(6):1057\u20131077, 2020.","DOI":"10.1007\/s10992-020-09560-x"},{"key":"10166_CR8","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1007\/s10992-021-09639-z","volume":"51","author":"P Cobreros","year":"2021","unstructured":"Cobreros, P., E. La Rosa, and L. Tranchini, Higher-level inferences in the strong-kleene setting: A proof-theoretic approach, Journal of Philosophical Logic 51:1417\u20131452, 2021.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"10166_CR9","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1002\/tht3.121","volume":"3","author":"P Cobreros","year":"2014","unstructured":"Cobreros, P., and L. Tranchini, Supervaluationism: Truth, value and degree functionality, Thought: A Journal of Philosophy 3(2):136\u2013144, 2014.","journal-title":"Thought: A Journal of Philosophy"},{"issue":"9","key":"10166_CR10","doi-asserted-by":"publisher","first-page":"8251","DOI":"10.1007\/s11229-020-02570-x","volume":"198","author":"P Cobreros","year":"2021","unstructured":"Cobreros, P., L. Tranchini, and E. La Rosa, (I can\u2019t get no) antisatisfaction, Synthese 198(9):8251\u20138265, 2021.","journal-title":"Synthese"},{"issue":"4","key":"10166_CR11","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1080\/11663081.2020.1826156","volume":"30","author":"B Da R\u00e9","year":"2020","unstructured":"Da R\u00e9, B., F. Pailos, D. Szmuc, and P. Teijeiro, Metainferential duality, Journal of Applied Non-Classical Logics 30(4):312\u2013334, 2020.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10166_CR12","doi-asserted-by":"crossref","unstructured":"Da R\u00e9, B., D. Szmuc, and P. Teijeiro, Derivability and metainferential validity, Journal of Philosophical Logic 51:1521\u20131547, 2022.","DOI":"10.1007\/s10992-021-09619-3"},{"key":"10166_CR13","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-25365-3_18","volume-title":"Graham priest on dialetheism and paraconsistency","author":"B Dicher","year":"2019","unstructured":"Dicher, B., and F. Paoli, ST, LP, and tolerant metainferences, in C. Baskent, and T.M. Ferguson, (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, Cham, 2019, pp. 383\u2013407."},{"key":"10166_CR14","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1007\/s10992-021-09623-7","volume":"51","author":"R French","year":"2021","unstructured":"French, R., Metasequents and tetravaluations, Journal of Philosophical Logic 51:1453\u20131476, 2021.","journal-title":"Journal of Philosophical Logic"},{"key":"10166_CR15","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1007\/s11225-018-9837-1","volume":"107","author":"R French","year":"2019","unstructured":"French, R., and D. Ripley, Valuations: Bi, tri, and tetra, Studia Logica 107:1313\u20131346, 2019.","journal-title":"Studia Logica"},{"issue":"3","key":"10166_CR16","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/analys\/anab032","volume":"81","author":"R Golan","year":"2021","unstructured":"Golan, R., There is no tenable notion of global metainferential validity, Analysis 81(3):411\u2013420, 2021.","journal-title":"Analysis"},{"key":"10166_CR17","unstructured":"Kortenbach, B., Global validity, manuscript, 2024."},{"key":"10166_CR18","doi-asserted-by":"crossref","unstructured":"Pailos, F., and B. Da R\u00e9, Metainferential Logics, vol. 61 of Trends in Logic, Springer Cham, 2023.","DOI":"10.1007\/978-3-031-44381-7"},{"key":"10166_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42:125\u2013135, 2013.","journal-title":"Journal of philosophical logic"},{"key":"10166_CR20","doi-asserted-by":"crossref","unstructured":"Priest, G., An Introduction to Non-Classical Logic: From If to Is, Cambridge University Press, 2008.","DOI":"10.1017\/CBO9780511801174"},{"key":"10166_CR21","doi-asserted-by":"publisher","first-page":"299","DOI":"10.3998\/ergo.12405314.0002.013","volume":"2","author":"D Ripley","year":"2015","unstructured":"Ripley, D., Comparing substructural theories of truth, Ergo, an Open Access Journal of Philosophy 2 (13):299\u2013328, 2015.","journal-title":"Ergo, an Open Access Journal of Philosophy"},{"issue":"2","key":"10166_CR22","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10992-019-09520-0","volume":"49","author":"C Scambler","year":"2020","unstructured":"Scambler, C., Classical logic and the strict tolerant hierarchy, Journal of Philosophical Logic 49(2):351\u2013370, 2020.","journal-title":"Journal of Philosophical Logic"},{"key":"10166_CR23","unstructured":"Shramko, Y., Dual-belnap logic and anything but falsehood, Journal of Applied Logics \u2014 IfCoLog Journal of Logics and their Applications  6(2):411\u2013430, 2019."},{"key":"10166_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R Smullyan","year":"1968","unstructured":"Smullyan, R., First-Order Logic, Springer-Verlag, Berlin, Heidelberg, 1968."},{"issue":"2","key":"10166_CR25","first-page":"337","volume":"41","author":"P Teijeiro","year":"2021","unstructured":"Teijeiro, P., Strength and stability, An\u00e1lisis Filos\u00f3fico 41(2):337\u2013349, 2021.","journal-title":"Strength and stability"},{"key":"10166_CR26","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s11225-015-9649-5","volume":"104","author":"S Wintein","year":"2016","unstructured":"Wintein, S., On all strong kleene generalizations of classical logic, Studia Logica 104:503\u2013545, 2016.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10166-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10166-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10166-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T07:53:06Z","timestamp":1780559586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10166-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,13]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["10166"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10166-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,13]]},"assertion":[{"value":"24 February 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2025","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Errors were found in author\u2019s affiliation and they have now been corrected.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}