{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:13:04Z","timestamp":1778764384397,"version":"3.51.4"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006692","name":"Universit\u00e0 degli Studi di Torino","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006692","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of na\u00efve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.<\/jats:p>","DOI":"10.1007\/s11225-023-10049-2","type":"journal-article","created":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T20:28:19Z","timestamp":1691699299000},"page":"947-977","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Systems for Non-Reflexive Consequence"],"prefix":"10.1007","volume":"111","author":[{"given":"Carlo","family":"Nicolai","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1932-5484","authenticated-orcid":false,"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,10]]},"reference":[{"key":"10049_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P., An introduction to inductive definitions, in J. Barwise, (ed.), Handbook of Mathematical Logic, vol. 90 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1977, pp. 739\u2013782.","DOI":"10.1016\/S0049-237X(08)71120-0"},{"key":"10049_CR2","unstructured":"Aczel, P., and S. Feferman, Consistency of the unrestricted abstraction principle using an intensional equivalence operator, in J.P. Seldin, and J. R. Hindley, (eds.), To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism, Academic Press, New York, 1980, pp. 67\u201398."},{"key":"10049_CR3","doi-asserted-by":"crossref","unstructured":"Barrio, A., E., F. Pailos, and D. Szmuc, A recovery operator for nontransitive approaches. The Review of Symbolic Logic, 13(1):80\u2013104, 2020.","DOI":"10.1017\/S1755020318000369"},{"issue":"5","key":"10049_CR4","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Alejandro Barrio","year":"2015","unstructured":"Barrio, A., 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":"10049_CR5","doi-asserted-by":"crossref","unstructured":"Barrio, A., E., L. Rosenblatt, and D. Tajer, Capturing naive validity in the cut-free approach. Synthese, 199: 707\u2013723, 2021.","DOI":"10.1007\/s11229-016-1199-5"},{"key":"10049_CR6","doi-asserted-by":"crossref","unstructured":"Beall, Jc, and J. Murzi, Two flavors of curry\u2019s paradox. Journal of Philosophy, 110(3):143\u2013165, 2013.","DOI":"10.5840\/jphil2013110336"},{"key":"10049_CR7","doi-asserted-by":"crossref","unstructured":"Cantini, A., The undecidability of Grisin\u2019s set theory. Studia Logica, 74(3):345\u2013368, 2003.","DOI":"10.1023\/A:1025159016268"},{"issue":"2","key":"10049_CR8","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. \u00c9gr\u00e9, D. Ripley, and R. van Rooij, Tolerant, classical, strict. Journal of Philosophical Logic, 41(2):347\u2013385, 2012.","journal-title":"Journal of Philosophical Logic"},{"issue":"488","key":"10049_CR9","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\u00a0Rooij. Reaching transparent truth. Mind, 122(488):841\u2013866, 2013.","journal-title":"Mind"},{"key":"10049_CR10","doi-asserted-by":"crossref","unstructured":"Cie\u015bli\u0144ski, C., The epistemic lightness of truth: Deflationism and its logic. Cambridge University Press, 2017.","DOI":"10.1017\/9781108178600"},{"issue":"9","key":"10049_CR11","doi-asserted-by":"publisher","first-page":"8251","DOI":"10.1007\/s11229-020-02570-x","volume":"198","author":"P Cobreros","year":"2021","unstructured":"Cobreros, P., E. La\u00a0Rosa, and L. Tranchini. (i can\u2019t get no) antisatisfaction. Synthese, 198(9):8251\u20138265, 2021.","journal-title":"Synthese"},{"issue":"2","key":"10049_CR12","first-page":"369","volume":"62","author":"B De R\u00e9","year":"2021","unstructured":"De R\u00e9, B., Structural weakening and paradoxes. Notre Dame Journal of Formal Logic, 62(2):369\u2013398, 2021.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"10049_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s11225-021-09967-w","volume":"110","author":"B De R\u00e9","year":"2022","unstructured":"De R\u00e9, B. and F. Pailos, Sequent-calculi for metainferential logics. Studia Logica, 110(2):319\u2013353, 2022.","journal-title":"Studia Logica"},{"key":"10049_CR14","doi-asserted-by":"crossref","unstructured":"De R\u00e9, B., F. Pailos, D. Szmuc, and P Teijeiro, Metainferential duality. Journal of Applied Non-Classical Logics, 30(4):312\u2013334, 2020.","DOI":"10.1080\/11663081.2020.1826156"},{"issue":"4","key":"10049_CR15","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10992-017-9441-2","volume":"47","author":"B De R\u00e9","year":"2018","unstructured":"De R\u00e9, B., and L. Rosenblatt, Contraction, infinitary quantifiers, and omega paradoxes. Journal of Philosophical Logic, 47(4):611\u2013629, 2018.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"10049_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S Feferman","year":"1984","unstructured":"Feferman, S., Towards useful type-free theories I. Journal of Symbolic Logic, 49(1):75\u2013111, 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"10049_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S., Reflecting on incompleteness. Journal of Symbolic Logic, 56:\u00a01\u201349, 1991.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"10049_CR18","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M., V.\u00a0Halbach, J.\u00a0Kriener, and J.\u00a0Stern. Axiomatizing semantic theories of truth? The Review of Symbolic Logic, 8(2):257\u2013278, 2015.","journal-title":"The Review of Symbolic Logic"},{"key":"10049_CR19","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving truth from paradox","author":"H Field","year":"2008","unstructured":"Field, H., Saving truth from paradox. Oxford University Press, Oxford, 2008."},{"issue":"1","key":"10049_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1017\/S1755020320000167","volume":"15","author":"H Field","year":"2022","unstructured":"Field, H., The power of naive truth. The Review of Symbolic Logic, 15(1):225\u2013258, 2022.","journal-title":"The Review of Symbolic Logic"},{"key":"10049_CR21","unstructured":"Fischer, M., Modal Predicates and their Interaction, unpublished Habilitationsschrift, 2018."},{"issue":"1","key":"10049_CR22","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":"10049_CR23","doi-asserted-by":"crossref","unstructured":"Fjellstad, A., A note on the cut-elimination proof in \u201cTruth without contra(di) ction\u201d. The Review of Symbolic Logic, pages 1\u20135, 2019.","DOI":"10.1017\/S1755020319000571"},{"issue":"4","key":"10049_CR24","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1017\/S1755020319000571","volume":"13","author":"A Fjellstad","year":"2020","unstructured":"Fjellstad, A., A note on the cut-elimination proof in \u201cTruth without contra(di) ction\u201d. The Review of Symbolic Logic, 13(4):882\u2013886, 2020.","journal-title":"The Review of Symbolic Logic"},{"key":"10049_CR25","doi-asserted-by":"crossref","unstructured":"French, R., Structural reflexivity and the paradoxes of self-reference. Ergo, an Open Access Journal of Philosophy, 3, 2016.","DOI":"10.3998\/ergo.12405314.0003.005"},{"issue":"2","key":"10049_CR26","first-page":"115","volume":"38","author":"P Greenough","year":"2001","unstructured":"Greenough, P., Free assumptions and the liar paradox. American Philosophical Quarterly, 38(2):115\u2013135, 2001.","journal-title":"American Philosophical Quarterly"},{"key":"10049_CR27","doi-asserted-by":"crossref","unstructured":"Gri\u0161in, V.\u00a0N., Predicate and set-theoretic calculi based on logic without contractions. Mathematics of the USSR-Izvestiya, 18(1):41, 1982.","DOI":"10.1070\/IM1982v018n01ABEH001382"},{"key":"10049_CR28","doi-asserted-by":"crossref","unstructured":"Halbach,V., Axiomatic theories of truth, revised edition, Cambridge University Press, 2014.","DOI":"10.1017\/CBO9781139696586"},{"key":"10049_CR29","doi-asserted-by":"crossref","unstructured":"Halbach, V., and L.\u00a0Horsten, Axiomatizing Kripke\u2019s theory of truth in partial logic. Journal of Symbolic Logic, 71:\u00a0677\u2013712, 2006.","DOI":"10.2178\/jsl\/1146620166"},{"key":"10049_CR30","doi-asserted-by":"crossref","unstructured":"Kremer, M., Kripke and the logic of truth. Journal of Philosophical Logic, 17:\u00a0225\u2013278, 1988.","DOI":"10.1007\/BF00247954"},{"key":"10049_CR31","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S., Outline of a theory of truth. Journal of Philosophy, 72:690\u2013712, 1975.","journal-title":"Journal of Philosophy"},{"key":"10049_CR32","unstructured":"Leitgeb, H., Hype: A system of hyperintensional logic. Journal of Philosophical Logic, pages 1\u2013101, 2018. Online Version."},{"key":"10049_CR33","unstructured":"McGee, V., Truth, vagueness, and paradox. MIT University Press, 1991."},{"key":"10049_CR34","unstructured":"Meadows, T., Fixed points for consequence relations. Logique et Analyse, 227:333\u2013357, 2014."},{"key":"10049_CR35","unstructured":"Moschovakis, Y., Elementary Induction on Abstract Structures. North-Holland and Elsevier, Amsterdam, London and New York, 1974."},{"key":"10049_CR36","doi-asserted-by":"crossref","unstructured":"Mares E., and F. Paoli, Logical consequence and the paradoxes. Journal of Philosophical Logic, 43(2-3):439\u2013469, 2014.","DOI":"10.1007\/s10992-013-9268-4"},{"key":"10049_CR37","doi-asserted-by":"crossref","unstructured":"Nicolai, C., Cut-elimination for Systems of Transparent Truth with Restricted Initial Sequents. Notre Dame Journal of Formal Logic, 2021. Online Publication.","DOI":"10.1215\/00294527-2021-0032"},{"key":"10049_CR38","doi-asserted-by":"crossref","unstructured":"Nicolai, C., and L. Rossi, Principles for object-linguistic consequence: From logical to irreflexive. Journal of Philosophical Logic, 47(3):549\u2013577, 2018.","DOI":"10.1007\/s10992-017-9438-x"},{"key":"10049_CR39","doi-asserted-by":"crossref","unstructured":"Nicolai, C., and J. Stern, The modal logics of Kripke\u2013Feferman truth. The Journal of Symbolic Logic, 86(1):362\u2013396, 2021.","DOI":"10.1017\/jsl.2020.66"},{"key":"10049_CR40","doi-asserted-by":"crossref","unstructured":"Petersen, U., Logic without contraction as based on inclusion and unrestricted abstraction. Studia Logica, 64(3):365\u2013403, 2000.","DOI":"10.1023\/A:1005293713265"},{"key":"10049_CR41","doi-asserted-by":"crossref","unstructured":"Petersen, U., On Zardini\u2019s rules for multiplicative quantification as the source of contra (di) ctions. The Review of Symbolic Logic, pages 1\u201310, 2022.","DOI":"10.1017\/S1755020322000284"},{"key":"10049_CR42","volume-title":"Proof Theory","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W., Proof Theory. A firt step into impredicativity. Springer, 2009."},{"issue":"2","key":"10049_CR43","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1093\/analys\/63.2.162","volume":"63","author":"S Read","year":"2003","unstructured":"Read, S., Freeing assumptions from the liar paradox. Analysis, 63(2):162\u2013166, 2003.","journal-title":"Analysis"},{"issue":"2","key":"10049_CR44","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. Review of Symbolic Logic, 5(2):354\u2013378, 2012.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"10049_CR45","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"},{"issue":"5","key":"10049_CR46","first-page":"1","volume":"13","author":"D Ripley","year":"2013","unstructured":"Ripley, D., Revising up: Strengthening classical logic in the face of paradox. Philosophers\u2019 Imprint, 13(5):1\u201313, 2013.","journal-title":"Phihlosophers\u2019 Imprint"},{"key":"10049_CR47","doi-asserted-by":"crossref","unstructured":"Ripley, D., Naive set theory and nontransitive logic. Review of Symbolic Logic, 8(3), 2015.","DOI":"10.1017\/S1755020314000501"},{"key":"10049_CR48","doi-asserted-by":"crossref","unstructured":"Rosenblatt, L., On structural contraction and why it fails. Synthese, 198:2695\u20132720, 2021.","DOI":"10.1007\/s11229-019-02241-6"},{"key":"10049_CR49","doi-asserted-by":"crossref","unstructured":"Schwichtenberg, H., Proof theory: some applications of cut-elimination, in J. Barwise, (ed.), Handbook of Mathematical Logic, vol. 90 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1977, pp. 867\u2013895.","DOI":"10.1016\/S0049-237X(08)71124-8"},{"key":"10049_CR50","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Restricting initial sequents: the trade-off between identity, contraction, cut, in Advances in Proof Theory, vol. 28 of Progress in Computer Science and Applied Logic, Springer, 2016.","DOI":"10.1007\/978-3-319-29198-7_10"},{"key":"10049_CR51","doi-asserted-by":"crossref","unstructured":"Smorynski, C., The incompleteness theorems, in J. Barwise, (ed.), Handbook of Mathematical Logic, vol. 90 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1977, pp. 821\u2013865.","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"10049_CR52","unstructured":"Troelstra, A.S., and H.\u00a0Schwichtenberg, Basic proof theory, vol. 43 of Cambridge Tracts in theoretical computer science, Cambridge University Press, 2003."},{"key":"10049_CR53","doi-asserted-by":"crossref","unstructured":"Zardini, E., Truth without contra(di)ction. Review of Symbolic Logic, 4(4):498\u2013535, 2011.","DOI":"10.1017\/S1755020311000177"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10049-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10049-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10049-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T06:09:02Z","timestamp":1699337342000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10049-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,10]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["10049"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10049-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,10]]},"assertion":[{"value":"30 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 August 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}