{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T08:19:36Z","timestamp":1768897176065,"version":"3.49.0"},"reference-count":33,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,11,1]]},"DOI":"10.1215\/00294527-2019-0020","type":"journal-article","created":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T02:00:57Z","timestamp":1567735257000},"source":"Crossref","is-referenced-by-count":14,"title":["Noncontractive Classical Logic"],"prefix":"10.1215","volume":"60","author":[{"given":"Lucas","family":"Rosenblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Barrio, E., L. Rosenblatt, and D. Tajer, \u201cCapturing naive validity in the Cut-free approach,\u201d <i>Synthese<\/i>, published electronically September 1, 2016.","DOI":"10.1007\/s11229-016-1199-5"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Beall, J., and J. Murzi, \u201cTwo flavors of Curry\u2019s paradox,\u201d <i>Journal of Philosophy<\/i>, vol. 110 (2013), pp. 143\u201365.","DOI":"10.5840\/jphil2013110336"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Caret, C. R., and Z. Weber, \u201cA note on contraction-free logic for validity,\u201d <i>Topoi<\/i>, vol. 34 (2015), pp. 63\u201374.","DOI":"10.1007\/s11245-014-9241-z"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Cintula, P., and F. Paoli, \u201cIs multiset consequence trivial?,\u201d <i>Synthese<\/i>, published electronically September 8, 2016.","DOI":"10.1007\/s11229-016-1209-7"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Cobreros, P., P. \u00c9gr\u00e9, D. Ripley, and R. van Rooij, \u201cReaching transparent truth,\u201d <i>Mind<\/i>, vol. 122 (2013), pp. 841\u2013866.","DOI":"10.1093\/mind\/fzt110"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Da R\u00e9, B., and L. Rosenblatt, \u201cContraction, infinitary quantifiers, and omega paradoxes,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 47 (2018), 611\u201329.","DOI":"10.1007\/s10992-017-9441-2"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Field, H., <i>Saving Truth from Paradox<\/i>, Oxford University Press, New York, 2008.","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Fjellstad, A., \u201cHow a semantics for tonk should be,\u201d <i>Review of Symbolic Logic<\/i>, vol. 8 (2015), pp. 488\u2013505.","DOI":"10.1017\/S1755020314000513"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Fjellstad, A., \u201c$\\omega$-inconsistency without cuts and nonstandard models,\u201d <i>Australasian Journal of Logic<\/i>, vol. 13 (2016), pp. 96\u2013122.","DOI":"10.26686\/ajl.v13i5.3900"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Fjellstad, A., \u201cNon-classical elegance for sequent calculus enthusiasts,\u201d <i>Studia Logica<\/i>, vol. 105 (2017), pp. 93\u2013119.","DOI":"10.1007\/s11225-016-9683-y"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Girard, J. Y., \u201cLinear logic: Its syntax and semantics,\u201d pp. 1\u201342 in <i>Advances in Linear Logic (Ithaca, NY, 1993)<\/i>, edited by J. Y. Girard, Y. Lafont, and L. Regnier, vol. 222 of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 1995.","DOI":"10.1017\/CBO9780511629150.002"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Hinnion, R., and T. Libert, \u201cPositive abstraction and extensionality,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 68 (2003), pp. 828\u201336.","DOI":"10.2178\/jsl\/1058448441"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Hjortland, O. T., \u201cTheories of truth and the maxim of minimal mutilation,\u201d <i>Synthese<\/i>, published electronically November 10, 2017.","DOI":"10.1007\/s11229-017-1612-8"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Humberstone, L., \u201cHeterogeneous logics,\u201d <i>Erkenntnis<\/i>, vol. 29 (1989), pp. 395\u2013435.","DOI":"10.1007\/BF00183072"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Kripke, S., \u201cOutline of a theory of truth,\u201d <i>Journal of Philosophy<\/i>, vol. 72 (1975), pp. 690\u2013716.","DOI":"10.2307\/2024634"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Mares, E., and F. Paoli, \u201cLogical consequence and the paradoxes,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 43 (2014), pp. 439\u201369.","DOI":"10.1007\/s10992-013-9268-4"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Negri, S., and J. von Plato, <i>Structural Proof Theory<\/i>, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Priest, G., \u201cThe structure of the paradoxes of self-reference,\u201d <i>Mind<\/i>, vol. 103 (1994), pp. 25\u201334.","DOI":"10.1093\/mind\/103.409.25"},{"key":"19","unstructured":"[19] Priest, G., <i>An Introduction to Non-Classical Logic: From If to Is<\/i>, 2nd edition, Cambridge University Press, Cambridge, 2008."},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Ripley, D., \u201cConservatively extending classical logic with transparent truth,\u201d <i>Review of Symbolic Logic<\/i>, vol. 5 (2012), pp. 354\u201378.","DOI":"10.1017\/S1755020312000056"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Ripley, D., \u201cParadoxes and failures of cut,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 91 (2013), pp. 139\u201364.","DOI":"10.1080\/00048402.2011.630010"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Ripley, D., \u201cAnything goes,\u201d <i>Topoi<\/i>, vol. 34 (2015), pp. 25\u201336.","DOI":"10.1007\/s11245-014-9261-8"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Ripley, D., \u201cComparing substructural theories of truth,\u201d <i>Ergo<\/i>, vol. 2 (2015), pp. 299\u2013328.","DOI":"10.3998\/ergo.12405314.0002.013"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Ripley, D., \u201cContraction and closure,\u201d <i>Thought<\/i>, vol. 4 (2015), pp. 131\u201338.","DOI":"10.1002\/tht3.166"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Rosenblatt, L., \u201cNaive validity, internalization, and substructural approaches to paradox,\u201d <i>Ergo<\/i>, vol. 4 (2017), pp. 93\u2013120.","DOI":"10.3998\/ergo.12405314.0004.004"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Rosenblatt, L., \u201cOn structural contraction and why it fails,\u201d <i>Synthese<\/i>, published electronically May 14, 2019.","DOI":"10.1007\/s11229-019-02241-6"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Shapiro, L., \u201cNaive structure, contraction and paradox,\u201d <i>Topoi<\/i>, vol. 34 (2015), pp. 75\u201387.","DOI":"10.1007\/s11245-014-9235-x"},{"key":"28","unstructured":"[28] Steinberger, F., <i>Harmony and Logical Inferentialism<\/i>, Ph.D. dissertation, Cambridge University, Cambridge, 2009."},{"key":"29","unstructured":"[29] Teijeiro, P., \u201cWhat is tonk?,\u201d preprint, 2018."},{"key":"30","unstructured":"[30] Troelstra, A. S., and H. Schwichtenberg, <i>Basic Proof Theory<\/i>, 2nd edition, vol. 43 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2000."},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Yaqub, A., <i>The Liar Speaks the Truth<\/i>, Oxford University Press, New York, 1993.","DOI":"10.1093\/oso\/9780195083439.001.0001"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Zardini, E., \u201cTruth without contra(di)ction,\u201d <i>Review of Symbolic Logic<\/i>, vol. 4 (2011), pp. 498\u2013535.","DOI":"10.1017\/S1755020311000177"},{"key":"33","unstructured":"[33] Zardini, E., \u201cBreaking the chains: Following-from and transitivity,\u201d pp. 221\u201375 in <i>Foundations of Logical Consequence<\/i>, edited by C. R. Caret and O. T. Hjortland, Oxford University Press, Oxford, 2015."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T01:04:29Z","timestamp":1721696669000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-4\/Noncontractive-Classical-Logic\/10.1215\/00294527-2019-0020.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,1]]},"references-count":33,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,11,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0020","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,11,1]]}}}