{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T08:18:49Z","timestamp":1768897129539,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T00:00:00Z","timestamp":1632009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T00:00:00Z","timestamp":1632009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s11225-021-09967-w","type":"journal-article","created":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T17:02:31Z","timestamp":1632070951000},"page":"319-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Sequent-Calculi for Metainferential Logics"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2958-7840","authenticated-orcid":false,"given":"Bruno","family":"Da R\u00e9","sequence":"first","affiliation":[]},{"given":"Federico","family":"Pailos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,19]]},"reference":[{"issue":"4","key":"9967_CR1","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1093\/jigpal\/jzx009","volume":"25","author":"E Barrio","year":"2017","unstructured":"Barrio, E., F.\u00a0Pailos, and D.\u00a0Szmuc, A paraconsistent route to semantic closure, Logic Journal of the IGPL 25(4):387\u2013407, 2017.","journal-title":"Logic Journal of the IGPL"},{"key":"9967_CR2","doi-asserted-by":"publisher","unstructured":"Barrio, E., F. Pailos, and D. Szmuc, Substructural logics, pluralism and collapse, Synthese, Online First (special issue: Pluralistic Perspectives on Logic), 2018, https:\/\/doi.org\/10.1007\/s11229-018-01963-3.","DOI":"10.1007\/s11229-018-01963-3"},{"key":"9967_CR3","doi-asserted-by":"crossref","unstructured":"Barrio, E., F.\u00a0Pailos, and D.\u00a0Szmuc, What is a paraconsistent logic?, in W. Carnielli, and J. Malinowski, (eds.), Contradictions, from consistency to inconsistency, vol. 47 of Trends in Logic, Springer, 2018, pp. 89\u2013108.","DOI":"10.1007\/978-3-319-98797-2_5"},{"issue":"1","key":"9967_CR4","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.\u00a0Pailos, and D.\u00a0Szmuc, A hierarchy of classical and paraconsistent logics, Journal of Philosophical Logic 49(1):93\u2013120, 2020.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9967_CR5","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1017\/S1755020311000074","volume":"4","author":"J Beall","year":"2011","unstructured":"Beall, J., Multiple-conclusion LP and default classicality, The Review of Symbolic Logic 4(2):326\u2013336, 2011.","journal-title":"The Review of Symbolic Logic"},{"issue":"4","key":"9967_CR6","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1017\/S1755020313000142","volume":"6","author":"J Beall","year":"2013","unstructured":"Beall, J., LP+, K3+, FDE+, and their \u2018classical collapse\u2019, The Review of Symbolic Logic 6(4):742\u2013754, 2013.","journal-title":"The Review of Symbolic Logic"},{"issue":"2","key":"9967_CR7","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/505372.505374","volume":"3","author":"PA Bonatti","year":"2002","unstructured":"Bonatti, P.A., and N.\u00a0Olivetti, Sequent calculi for propositional nonmonotonic logics, ACM Transactions on Computational Logic (TOCL) 3(2):226\u2013278, 2002.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"3","key":"9967_CR8","first-page":"273","volume":"25","author":"WA Carnielli","year":"2017","unstructured":"Carnielli, W.A., and G.\u00a0Pulcini, Cut-elimination and deductive polarization in complementary classical logic, Logic Journal of the IGPL 25(3):273\u2013282, 2017.","journal-title":"Logic Journal of the IGPL"},{"issue":"7","key":"9967_CR9","first-page":"2193","volume":"27","author":"E Chemla","year":"2017","unstructured":"Chemla, E., P.\u00a0\u00c9gr\u00e9, and B.\u00a0Spector, Characterizing logical consequence in many-valued logic, Journal of Logic and Computation. 27(7):2193\u20132226, 2017.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9967_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., P.\u00a0Egr\u00e9, D.\u00a0Ripley, and R.\u00a0van Rooij, Tolerant, classical, strict. Journal of Philosophical Logic 41(2):347\u2013385, 2012.","journal-title":"Journal of Philosophical Logic"},{"issue":"488","key":"9967_CR11","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2014","unstructured":"Cobreros, P., P.\u00a0Egr\u00e9, D.\u00a0Ripley, and R.\u00a0Van\u00a0Rooij, Reaching transparent truth, Mind 122(488):841\u2013866, 2014.","journal-title":"Mind"},{"key":"9967_CR12","doi-asserted-by":"publisher","unstructured":"Cobreros, P., L.\u00a0Tranchini, and E.\u00a0La\u00a0Rosa, (I Can\u2019t GetNo) Antisatisfaction, Synthese, Online First, 2020, https:\/\/doi.org\/10.1007\/s11229-020-02570-x.","DOI":"10.1007\/s11229-020-02570-x"},{"key":"9967_CR13","doi-asserted-by":"crossref","unstructured":"Cobreros, P., L.\u00a0Tranchini, and E.\u00a0La\u00a0Rosa, Higher-level Inferences in the Strong-Kleene Setting, manuscript, 2021.","DOI":"10.1007\/s10992-021-09639-z"},{"key":"9967_CR14","doi-asserted-by":"crossref","unstructured":"Dicher, B., and F.\u00a0Paoli, ST, LP and tolerant metainferences, in C. Baskent, and T. Macaulay Ferguson, Graham Priest on dialetheism and paraconsistency, vol. 18 of Outstanding Contributions to Logic, Springer, 2019, pp. 383\u2013407.","DOI":"10.1007\/978-3-030-25365-3_18"},{"issue":"1","key":"9967_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11225-016-9683-y","volume":"105","author":"A Fjellstad","year":"2017","unstructured":"Fjellstad, A., Non-classical elegance for sequent calculus enthusiasts, Studia Logica 105(1):93\u2013119, 2017.","journal-title":"Studia Logica"},{"key":"9967_CR16","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"},{"issue":"5","key":"9967_CR17","first-page":"113","volume":"3","author":"R French","year":"2016","unstructured":"French, R., Structural reflexivity and the paradoxes of self-reference, Ergo 3(5):113\u2013131, 2016.","journal-title":"Ergo"},{"key":"9967_CR18","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."},{"issue":"2","key":"9967_CR19","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF01054714","volume":"53","author":"V Goranko","year":"1994","unstructured":"Goranko, V., Refutation systems in modal logic, Studia Logica 53(2):299\u2013324, 1994.","journal-title":"Studia Logica"},{"key":"9967_CR20","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BF00257380","volume":"25","author":"L Humberstone","year":"1996","unstructured":"Humberstone, L., Valuational Semantics of Rule Derivability, Journal of Philosophical Logic 25:451\u2013461, 1996.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9967_CR21","first-page":"49","volume":"24","author":"G Malinowski","year":"1990","unstructured":"Malinowski, G., Q-consequence operation, Reports on Mathematical Logic 24(1):49\u201359, 1990.","journal-title":"Reports on Mathematical Logic"},{"issue":"2","key":"9967_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/00048408212340551","volume":"60","author":"RK Meyer","year":"1982","unstructured":"Meyer, R.K., and M.\u00a0A. McRobbie, Multisets and relevant implication i, Australasian Journal of Philosophy 60(2):107\u2013139, 1982.","journal-title":"Australasian Journal of Philosophy"},{"issue":"3","key":"9967_CR23","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1080\/00048408212340681","volume":"60","author":"RK Meyer","year":"1982","unstructured":"Meyer, R.K., and M.\u00a0A. McRobbie, Multisets and relevant implication ii, Australasian Journal of Philosophy 60(3):265\u2013281, 1982.","journal-title":"Australasian Journal of Philosophy"},{"key":"9967_CR24","unstructured":"Negri, S., J.\u00a0Von\u00a0Plato, and A.\u00a0Ranta, Structural proof theory, Cambridge University Press, 2008."},{"issue":"1","key":"9967_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1080\/11663081.2018.1534486","volume":"29","author":"FM Pailos","year":"2019","unstructured":"Pailos, F.\u00a0M., A family of metainferential logics, Journal of Applied Non-Classical Logics 29(1):97\u2013120, 2019.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"9967_CR26","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1017\/S1755020318000485","volume":"13","author":"FM Pailos","year":"2020","unstructured":"Pailos, F.\u00a0M., A fully classical truth theory characterized by substructural means, The Review of Symbolic Logic 13(2):249\u2013268, 2020.","journal-title":"The Review of Symbolic Logic"},{"issue":"6","key":"9967_CR27","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1007\/s11225-017-9746-8","volume":"105","author":"A P\u0159enosil","year":"2017","unstructured":"P\u0159enosil, A., Cut elimination, Identity Elimination, and Interpolation in Super-Belnap Logics, Studia Logica 105(6):1255\u20131289, 2017.","journal-title":"Studia Logica"},{"key":"9967_CR28","unstructured":"Ripley, D., A toolkit for metainferential logics, presentation on the IX Workshop on Philosophical Logic-SADAF, 2020; http:\/\/davewripley.rocks\/docs\/atmi-slides.pdf."},{"issue":"02","key":"9967_CR29","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1017\/S1755020312000056","volume":"5","author":"D Ripley","year":"2012","unstructured":"Ripley, D., Conservatively extending classical logic with transparent truth, The Review of Symbolic Logic 5(02):354\u2013378, 2012.","journal-title":"The Review of Symbolic Logic"},{"key":"9967_CR30","doi-asserted-by":"publisher","unstructured":"Rosenblatt, L., Towards a non-classical meta-theory for substructural approaches to paradox, Journal of Philosophical Logic, Online First, 2021, https:\/\/doi.org\/10.1007\/s10992-020-09589-y.","DOI":"10.1007\/s10992-020-09589-y"},{"key":"9967_CR31","unstructured":"Shapiro, L., LP, K3, and FDE as Substructural Logics, in P. Arazim, and T. Lavicka, (eds.), Logica Yearbook 2016, London College Publications, 2016, pp. 1\u201316."},{"key":"9967_CR32","volume-title":"Truth and falsehood: An inquiry into generalized logical values","author":"Y Shramko","year":"2011","unstructured":"Shramko, Y., and H.\u00a0Wansing, Truth and falsehood: An inquiry into generalized logical values, Springer Science & Business Media, Dodrecht, 2011."},{"key":"9967_CR33","unstructured":"Takeuti, G., Proof Theory: Second Edition, Elsevier Science, Studies in Logic 81, Amsterdam, 1987."},{"key":"9967_CR34","unstructured":"Teijeiro, P., Strenght and stability, An\u00e1lisis Filos\u00f3fico, forthcoming, 2019."},{"key":"9967_CR35","unstructured":"Tiomkin, M., Proving unprovability, technical report no. cs0478, Computer Science Department, Technion, 1987; http:\/\/www.cs.technion.ac.il\/users\/wwwb\/cgi-bin\/tr-info.cgi\/1987\/CS\/CS0478"},{"issue":"3","key":"9967_CR36","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(3):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-021-09967-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09967-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09967-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T11:32:44Z","timestamp":1647862364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09967-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,19]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9967"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09967-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,19]]},"assertion":[{"value":"20 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}