{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T08:30:03Z","timestamp":1772785803082,"version":"3.50.1"},"reference-count":67,"publisher":"Informa UK Limited","issue":"1","funder":[{"DOI":"10.13039\/501100009559","name":"Universidad Nacional de Quilmes","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100009559","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Universidad Nacional Tres de Febrero","award":["PICT-2018-3454"],"award-info":[{"award-number":["PICT-2018-3454"]}]},{"name":"Universidad Nacional Tres de Febrero","award":["PICT-2020-SERIEA-01653"],"award-info":[{"award-number":["PICT-2020-SERIEA-01653"]}]},{"DOI":"10.13039\/501100003074","name":"ANPCyT","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010253","name":"UBACyT","doi-asserted-by":"publisher","award":["20020220200100BA"],"award-info":[{"award-number":["20020220200100BA"]}],"id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010253","name":"UBACyT","doi-asserted-by":"publisher","award":["20020220100085BA"],"award-info":[{"award-number":["20020220100085BA"]}],"id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005363","name":"Universidad de Buenos Aires","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005363","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2026,1,2]]},"DOI":"10.1080\/11663081.2025.2573584","type":"journal-article","created":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:39:28Z","timestamp":1764783568000},"page":"113-146","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Tableaux for metainferential logics"],"prefix":"10.1080","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-7856-966X","authenticated-orcid":false,"given":"A.","family":"Bavosa Castro","sequence":"first","affiliation":[{"name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","place":["Buenos Aires, Argentina"]},{"name":"Universidad de Buenos Aires","place":["Buenos Aires, Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4368-0444","authenticated-orcid":false,"given":"A.","family":"Borzi","sequence":"additional","affiliation":[{"name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","place":["Buenos Aires, Argentina"]},{"name":"Universidad de Buenos Aires","place":["Buenos Aires, Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2958-7840","authenticated-orcid":false,"given":"B.","family":"Da R\u00e9","sequence":"additional","affiliation":[{"name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","place":["Buenos Aires, Argentina"]},{"name":"Universidad de Buenos Aires","place":["Buenos Aires, Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0051-2028","authenticated-orcid":false,"given":"A. J.","family":"Roff\u00e9","sequence":"additional","affiliation":[{"name":"Universidad de Buenos Aires","place":["Buenos Aires, Argentina"]},{"name":"Universidad Nacional de Quilmes","place":["Bernal, Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1297-0912","authenticated-orcid":false,"given":"J. S.","family":"Toranzo Calder\u00f3n","sequence":"additional","affiliation":[{"name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","place":["Buenos Aires, Argentina"]},{"name":"Universidad de Buenos Aires","place":["Buenos Aires, Argentina"]},{"name":"Universidad Tecnol\u00f3gica Nacional","place":["Buenos Aires, Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2025,12,3]]},"reference":[{"key":"e_1_3_4_2_1","volume-title":"Entailment: The logic of relevance and neccessity","author":"Anderson A. R.","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and neccessity (Vol.\u00a0I). Princeton University Press."},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"e_1_3_4_4_1","first-page":"192","article-title":"Dual systems of sequents and tableaux for many-valued logics","volume":"51","author":"Baaz M.","year":"1993","unstructured":"Baaz, M., Ferm\u00fcller, C. G., & Zach, R. (1993). Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS, 51, 192\u2013197.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_4_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-022-09693-1"},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S175502032400011X"},{"issue":"20","key":"e_1_3_4_7_1","first-page":"4991","article-title":"Substructural logics, pluralism and collapse","volume":"198","author":"Barrio E.","year":"2018","unstructured":"Barrio, E., Pailos, F., & Szmuc, D. (2018a). Substructural logics, pluralism and collapse. Synthese, 198(Suppl 20), 4991\u20135007.","journal-title":"Synthese"},{"key":"e_1_3_4_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98797-2_5"},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-019-09513-z"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-021-03343-w"},{"key":"e_1_3_4_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-014-9342-6"},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2020.1751573"},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"e_1_3_4_14_1","doi-asserted-by":"crossref","unstructured":"Belnap N. D. (2020). How a computer should think. In H. Omori & H. Wansing (Eds.) New essays on belnap-dunn logic (Vol.\u00a0418). Springer.","DOI":"10.1007\/978-3-030-31136-0_4"},{"key":"e_1_3_4_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/01445348108837023"},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274395"},{"key":"e_1_3_4_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33205-5"},{"issue":"7","key":"e_1_3_4_18_1","first-page":"2193","article-title":"Characterizing logical consequence in many-valued logic","volume":"27","author":"Chemla E.","year":"2017","unstructured":"Chemla, E., \u00c9gr\u00e9, P., & Spector, B. (2017). Characterizing logical consequence in many-valued logic. Journal of Logic and Computation, 27(7), 2193\u20132226.","journal-title":"Journal of Logic and Computation"},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzy055"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9165-z"},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzt110"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-024-10166-6"},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-020-02570-x"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09639-z"},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.22370\/rhv2019iss13"},{"key":"e_1_3_4_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-021-09967-w"},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.12775\/LLP.2022.008"},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00297573"},{"key":"e_1_3_4_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25365-3_18"},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373152"},{"key":"e_1_3_4_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120878"},{"key":"e_1_3_4_32_1","doi-asserted-by":"crossref","unstructured":"Ferguson T. M. (2021). Tableaux and restricted quantification for systems related to weak Kleene logic. In A. Das & S. Negri (Eds.) Automated reasoning with analytic tableaux and related methods: 30th International Conference TABLEAUX 2021 (Vol.\u00a012842 pp.\u00a03\u201319). Springer International Publishing.","DOI":"10.1007\/978-3-030-86059-2_1"},{"key":"e_1_3_4_33_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1994-201234"},{"key":"e_1_3_4_35_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2024-0021"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09627-3"},{"issue":"1","key":"e_1_3_4_37_1","first-page":"41","article-title":"Formalization of a plausible inference","volume":"33","author":"Frankowski S.","year":"2004","unstructured":"Frankowski, S. (2004). Formalization of a plausible inference. Bulletin of the Section of Logic, 33(1), 41\u201352.","journal-title":"Bulletin of the Section of Logic"},{"issue":"5","key":"e_1_3_4_38_1","first-page":"113","article-title":"Structural reflexivity and the paradoxes of self-reference","volume":"3","author":"French R.","year":"2016","unstructured":"French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, 3(5), 113\u2013131.","journal-title":"Ergo"},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09616-6"},{"key":"e_1_3_4_40_1","volume-title":"The logic of nonsense","author":"Halld\u00e9n S.","year":"1949","unstructured":"Halld\u00e9n, S. (1949). The logic of nonsense. Uppsala Universitets Arsskrift."},{"key":"e_1_3_4_41_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001"},{"key":"e_1_3_4_42_1","volume-title":"Introduction to metamathematics","author":"Kleene S. C.","year":"1952","unstructured":"Kleene, S. C. (1952). Introduction to metamathematics. North-Holland."},{"key":"e_1_3_4_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-023-09978-3"},{"key":"e_1_3_4_44_1","volume-title":"Topics in modern logic","author":"Makinson D. C.","year":"1973","unstructured":"Makinson, D. C. (1973). Topics in modern logic. Methuen London."},{"issue":"1","key":"e_1_3_4_45_1","first-page":"49","article-title":"Q-consequence operation","volume":"24","author":"Malinowski G.","year":"1990","unstructured":"Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24(1), 49\u201359.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_4_46_1","doi-asserted-by":"publisher","DOI":"10.1515\/sem-2021-0011"},{"key":"e_1_3_4_47_1","doi-asserted-by":"publisher","DOI":"10.12775\/LLP.1999.008"},{"key":"e_1_3_4_48_1","doi-asserted-by":"crossref","unstructured":"Omori H. & Szmuc D. (2017). Conjunction and disjunction in infectious logics. In A. Baltag J. Seligman & T. Yamada (Eds.) Logic Rationality and Interaction: 6th International Workshop LORI 2017 (pp.\u00a0268\u2013283). Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-662-55665-8_19"},{"key":"e_1_3_4_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2018.1534486"},{"key":"e_1_3_4_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020318000485"},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44381-7"},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-019-09876-z"},{"key":"e_1_3_4_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9215-1"},{"key":"e_1_3_4_54_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174"},{"issue":"1","key":"e_1_3_4_55_1","first-page":"35","article-title":"Gentzen's cut-free calculus versus the logic of paradox","volume":"39","author":"Pynko A.","year":"2010","unstructured":"Pynko, A. (2010). Gentzen's cut-free calculus versus the logic of paradox. Bulletin of the Section of Logic, 39(1\/2), 35\u201342.","journal-title":"Bulletin of the Section of Logic"},{"key":"e_1_3_4_56_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000056"},{"key":"e_1_3_4_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09615-7"},{"key":"e_1_3_4_58_1","unstructured":"Roff\u00e9 A. (2018). TAUT (v. 1.6.3). https:\/\/taut-logic.com"},{"key":"e_1_3_4_59_1","unstructured":"Roff\u00e9 A. (2023). Logics (v. 1.10.3). https:\/\/logics.readthedocs.io\/en\/latest\/."},{"key":"e_1_3_4_60_1","unstructured":"Roff\u00e9 A. (2024). Metainference calculator. https:\/\/metainference-calculator.netlify.app\/"},{"key":"e_1_3_4_61_1","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v18i7.6801"},{"key":"e_1_3_4_62_1","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v12i1.2082"},{"key":"e_1_3_4_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-019-09520-0"},{"key":"e_1_3_4_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9747-7"},{"key":"e_1_3_4_65_1","volume-title":"Logic: The laws of truth","author":"Smith N. J. J.","year":"2012","unstructured":"Smith, N. J. J. (2012). Logic: The laws of truth. Princeton University Press."},{"key":"e_1_3_4_66_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzy057"},{"key":"e_1_3_4_67_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2021-0022"},{"key":"e_1_3_4_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-015-9649-5"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2025.2573584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T06:23:55Z","timestamp":1772778235000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2025.2573584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,3]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1,2]]}},"alternative-id":["10.1080\/11663081.2025.2573584"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2025.2573584","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,3]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2025-02-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}