{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:26Z","timestamp":1784484146202,"version":"3.55.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_18","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:50Z","timestamp":1784482190000},"page":"272-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Nuclear Shifts for\u00a0Conservation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3179-7521","authenticated-orcid":false,"given":"Giulio","family":"Fellin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3958-6312","authenticated-orcid":false,"given":"Sara","family":"Negri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6831-2057","authenticated-orcid":false,"given":"Peter","family":"Schuster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1017\/S0960129501003309","volume":"11","author":"P Aczel","year":"2001","unstructured":"Aczel, P.: The Russell-Prawitz modality. Math. Struct. Comput. Sci. 11, 541\u2013554 (2001)","journal-title":"Math. Struct. Comput. Sci."},{"key":"18_CR2","unstructured":"Aczel, P.,\u00a0Rathjen, M.: Constructive Set Theory (2010). https:\/\/michrathjen.github.io\/book.pdf"},{"key":"18_CR3","unstructured":"Bartoli, G.,\u00a0Fellin, G.,\u00a0Tesi, M.: Infinitary negative translations and Glivenko logic. Submitted (2025)"},{"key":"18_CR4","unstructured":"Bellin, G., de Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic constructive modal logic. In: Proceedings of M4M, vol. 2 (2001)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1007\/s00153-018-0656-x","volume":"58","author":"B van den Berg","year":"2019","unstructured":"van den Berg, B.: A Kuroda-style $$j$$-translation. Arch. Math. Logic 58, 627\u2013634 (2019)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"18_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2025.103664","volume":"177","author":"B van den Berg","year":"2026","unstructured":"van den Berg, B., Bri\u00ebt, M.: Arrow algebras. Ann. Pure Appl. Logic 177(3), 1\u201339 (2026)","journal-title":"Ann. Pure Appl. Logic"},{"key":"18_CR7","unstructured":"Borsetto, R.,\u00a0Fellin, G.,\u00a0Uustalu, T.,\u00a0Wan, C.-S.: Glivenko\u2019s theorem underneath structure. In:\u00a0Brattka, V.,\u00a0Fernau, H.,\u00a0Galeotti, L. (eds.) Timeless Machines: Computability Across Eras, CiE 2026 (2026)"},{"key":"18_CR8","first-page":"251","volume":"33","author":"LEJ Brouwer","year":"1925","unstructured":"Brouwer, L.E.J.: Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresber. Dtsch. Math.-Ver. 33, 251\u2013256 (1925)","journal-title":"Jahresber. Dtsch. Math.-Ver."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/malq.200310082","volume":"50","author":"R Cignoli","year":"2004","unstructured":"Cignoli, R., Torrens, A.: Glivenko-like theorems in natural expansions of BCK-logic. MLQ Math. Log. Q. 50, 111\u2013125 (2004)","journal-title":"MLQ Math. Log. Q."},{"issue":"2","key":"18_CR10","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S1755020325000097","volume":"18","author":"T Dalmonte","year":"2025","unstructured":"Dalmonte, T.: Minimal modal logics, constructive modal logics and their relations. Rev. Symb. Log. 18(2), 463\u2013504 (2025)","journal-title":"Rev. Symb. Log."},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1016\/j.apal.2011.11.002","volume":"163","author":"M Escard\u00f3","year":"2012","unstructured":"Escard\u00f3, M., Oliva, P.: The Peirce translation. Ann. Pure Appl. Logic 163, 681\u2013692 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Fellin, G.,\u00a0Schuster, P.: A general Glivenko\u2013G\u00f6del theorem for nuclei. In:\u00a0Sokolova, A. (ed.) Proceedings\u00a0of MFPS, Electronic Notes in Theoretical Computer Science 351, 51\u201366 (2021)","DOI":"10.4204\/EPTCS.351.4"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1017\/S1755020324000170","volume":"18","author":"G Fellin","year":"2025","unstructured":"Fellin, G., Schuster, P.: Conservation as translation. Rev. Symb. Log. 18(1), 316\u2013348 (2025)","journal-title":"Rev. Symb. Log."},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1017\/bsl.2021.66","volume":"28","author":"G Fellin","year":"2022","unstructured":"Fellin, G., Schuster, P., Wessel, D.: The Jacobson radical of a propositional theory. Bull. Symb. Log. 28, 163\u2013181 (2022)","journal-title":"Bull. Symb. Log."},{"key":"18_CR15","unstructured":"Galatos, N.,\u00a0Jipsen, P.,\u00a0Kowalski, T.,\u00a0Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier (2007)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"1353","DOI":"10.2178\/jsl\/1164060460","volume":"71","author":"N Galatos","year":"2006","unstructured":"Galatos, N., Ono, H.: Glivenko theorems for substructural logics over FL. J. Symb. Log. 71, 1353\u20131384 (2006)","journal-title":"J. Symb. Log."},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.52547\/HATEF.JAHLA.3.1.6","volume":"3","author":"S Ghilardi","year":"2022","unstructured":"Ghilardi, S., Lenzi, G.: Unification in lax logic. J. Algebr. Hyperstruct. Log. Algebras 3, 61\u201375 (2022)","journal-title":"J. Algebr. Hyperstruct. Log. Algebras"},{"key":"18_CR18","unstructured":"Glivenko, V.: Sur la logique de M.\u00a0Brouwer. Acad\u00e9mie royale de Belgique. Bulletin de la Classe des Sciences 14, 225\u2013228 (1928)"},{"key":"18_CR19","unstructured":"Glivenko, V.: Sur quelques points de la logique de M.\u00a0Brouwer. Acad\u00e9mie royale de Belgique. Bulletin de la Classe des Sciences 15, 183\u2013188 (1929)"},{"key":"18_CR20","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compos. Math. 4, 119\u2013136 (1937)","journal-title":"Compos. Math."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Oxford University Press (2002)","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"18_CR22","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press (1982)"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Arch. Math. 23, 113\u2013120 (1972)","journal-title":"Arch. Math."},{"key":"18_CR24","first-page":"646","volume":"32","author":"AN Kolmogoroff","year":"1925","unstructured":"Kolmogoroff, A.N.: Sur le principe de tertium non datur. Mat. Sbornik 32, 646\u2013667 (1925)","journal-title":"Mat. Sbornik"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0027763000010023","volume":"3","author":"S Kuroda","year":"1951","unstructured":"Kuroda, S.: Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 3, 35\u201347 (1951)","journal-title":"Nagoya Math. J."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Introduction. In: Toposes, algebraic geometry and logic (Conf., Dalhousie Univ., Halifax, N.S., 1971. Lecture Notes in Mathematics, vol. 274, pp.\u00a01\u201312 (1972)","DOI":"10.1007\/BFb0073962"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"MacLane, S.,\u00a0Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer (1994)","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"18_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"EG Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Springer, New York (1976)"},{"issue":"4","key":"18_CR29","first-page":"84","volume":"24","author":"F Marmolejo","year":"2010","unstructured":"Marmolejo, F., Wood, R.J.: Monads as extension systems\u2013no iteration is necessary. Theory Appl. Categ. 24(4), 84\u2013113 (2010)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"18_CR30","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inform. and Comput. 93(1), 55\u201392 (1991)","journal-title":"Inform. and Comput."},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press (2001)","DOI":"10.1017\/CBO9780511527340"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Negri, S., von Plato, J.: Proof Analysis. Cambridge University Press (2011)","DOI":"10.1017\/CBO9781139003513"},{"key":"18_CR33","doi-asserted-by":"publisher","first-page":"91","DOI":"10.12775\/LLP.2001.006","volume":"9","author":"S Odintsov","year":"2002","unstructured":"Odintsov, S.: Logic of classical refutability and class of extensions of minimal logic. Log. Log. Philos. 9, 91\u2013107 (2002)","journal-title":"Log. Log. Philos."},{"key":"18_CR34","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.apal.2009.05.006","volume":"161","author":"H Ono","year":"2009","unstructured":"Ono, H.: Glivenko theorems revisited. Ann. Pure Appl. Logic 161, 246\u2013250 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"18_CR35","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1017\/bsl.2017.13","volume":"23","author":"D Rinaldi","year":"2017","unstructured":"Rinaldi, D., Schuster, P., Wessel, D.: Eliminating disjunctions by disjunction elimination. Bull. Symb. Log. 23, 181\u2013200 (2017)","journal-title":"Bull. Symb. Log."},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Rinaldi, D.,\u00a0Schuster, P.,\u00a0Wessel, D.: Eliminating disjunctions by disjunction elimination. Indag.\u00a0Math.\u00a0(N.S.) 29, 226\u2013259 (2018)","DOI":"10.1016\/j.indag.2017.09.011"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Schuster, P.,\u00a0Wessel, D.: Resolving finite indeterminacy: a definitive constructive universal prime ideal theorem. In: Proceedings\u00a0of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science, pp. 820\u2013830 (2020)","DOI":"10.1145\/3373718.3394777"},{"key":"18_CR38","doi-asserted-by":"publisher","first-page":"787","DOI":"10.2307\/2024952","volume":"68","author":"D Scott","year":"1971","unstructured":"Scott, D.: On engendering an illusion of understanding. J. Phil. 68, 787\u2013807 (1971)","journal-title":"J. Phil."},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Background to formalization. In: Leblanc, H. (ed.) Truth, Syntax and Modality (Proc. Conf. Alternative Semantics, Temple Univ., Philadelphia, Pa., 1970). North-Holland, Amsterdam, Studies in Logic and the Foundations of Mathematics, vol. 68, pp. 244\u2013273 (1973)","DOI":"10.1016\/S0049-237X(08)71542-8"},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Completeness and axiomatizability in many-valued logic. In:\u00a0Henkin, L. et al. (eds.) Proceedings\u00a0of the Tarski Symposium, American Mathematical Society, pp. 411\u2013435 (1974)","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"18_CR41","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","author":"K Segerberg","year":"1968","unstructured":"Segerberg, K.: Propositional logics related to Heyting\u2019s and Johansson\u2019s. Theoria 34, 26\u201361 (1968)","journal-title":"Theoria"},{"key":"18_CR42","doi-asserted-by":"crossref","unstructured":"Simmons, H.: A framework for topology. In:\u00a0Macintyre, A.,\u00a0Pacholski, L.,\u00a0Paris, J. (eds.) Logic Colloquium \u201977, North-Holland, pp. 239\u2013251 (1978)","DOI":"10.1016\/S0049-237X(08)72007-X"},{"key":"18_CR43","unstructured":"Tesi, M.: G\u00f6del\u2013Gentzen. Scuola Normale Superiore di Pisa (2020)"},{"key":"18_CR44","doi-asserted-by":"crossref","unstructured":"Wolter, F.,\u00a0Zakharyaschev, M.: Intuitionistic modal logic In: Cantini, A., Casari, E., Minari, P. (eds.) Logic and Foundations of Mathematics, vol. 280. Springer, Dordrecht, Synthese Library (1999)","DOI":"10.1007\/978-94-017-2109-7_17"},{"key":"18_CR45","first-page":"1160","volume":"41","author":"JL Wrigley","year":"2024","unstructured":"Wrigley, J.L.: Some properties of internal locale morphisms externalised. Theory Appl. Categ. 41, 1160\u20131202 (2024)","journal-title":"Theory Appl. Categ."}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:53Z","timestamp":1784482193000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}