{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T16:54:06Z","timestamp":1773334446728,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T00:00:00Z","timestamp":1704758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T00:00:00Z","timestamp":1704758400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["11220200101301CO"],"award-info":[{"award-number":["11220200101301CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100005746","name":"Universidad Nacional del Litoral","doi-asserted-by":"publisher","award":["CAI+D 50620190100088LI"],"award-info":[{"award-number":["CAI+D 50620190100088LI"]}],"id":[{"id":"10.13039\/501100005746","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100021778","name":"Agencia Nacional de Promoci\u00f3n de la Investigaci\u00f3n, el Desarrollo Tecnol\u00f3gico y la Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PICT 2019-00882"],"award-info":[{"award-number":["PICT 2019-00882"]}],"id":[{"id":"10.13039\/501100021778","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s11225-023-10088-9","type":"journal-article","created":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T09:02:09Z","timestamp":1704790929000},"page":"1123-1161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity"],"prefix":"10.1007","volume":"112","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3072-1055","authenticated-orcid":false,"given":"Manuela","family":"Busaniche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,9]]},"reference":[{"issue":"6","key":"10088_CR1","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1093\/logcom\/exp028","volume":"19","author":"M Busaniche","year":"2009","unstructured":"Busaniche, M., and R.\u00a0Cignoli, Residuated lattices as an algebraic semantics for paraconsistent Nelson\u2019s logic, Journal of Logic and Computation 19(6):1019\u20131029, 2009.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"10088_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s00012-014-0265-4","volume":"71","author":"M Busaniche","year":"2014","unstructured":"Busaniche, M., and R.\u00a0Cignoli, The subvariety of commutative residuated lattices represented by twist-products, Algebra Universalis 71(1):5\u201322, 2014.","journal-title":"Algebra Universalis"},{"key":"10088_CR3","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1007\/s11225-022-09988-z","volume":"110","author":"M Busaniche","year":"2022","unstructured":"Busaniche, M., N.\u00a0Galatos, and M.A.\u00a0Marcos, Twist structures and Nelson conuclei, Studia Logica 110: 949\u2013987, 2022.","journal-title":"Studia Logica"},{"key":"10088_CR4","doi-asserted-by":"crossref","unstructured":"Celani, S.A., and U.\u00a0Rivieccio, Intuitionistic modal algebras, Studia Logica. https:\/\/doi.org\/10.1007\/s11225-023-10065-2","DOI":"10.1007\/s11225-023-10065-2"},{"key":"10088_CR5","unstructured":"Galatos, N., P.\u00a0Jipsen, T.\u00a0Kowalski, and H.\u00a0Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007."},{"issue":"6","key":"10088_CR6","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1002\/malq.200610018","volume":"52","author":"A Hsieh","year":"2006","unstructured":"Hsieh, A., and J.G.\u00a0Raftery. A finite model property for $$RMI_{min}$$, Mathematical Logic Quarterly 52(6):602\u2013612, 2006","journal-title":"Mathematical Logic Quarterly"},{"key":"10088_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.entcs.2016.09.039","volume":"325","author":"T Jakl","year":"2016","unstructured":"Jakl, T., A.\u00a0Jung and A.\u00a0Pultr, Bitopology and four-valued logic, Electronic Notes in Theoretical Computer Science 325:201\u2013219, 2016.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10088_CR8","doi-asserted-by":"crossref","unstructured":"Jung, A., P.\u00a0Maia and U.\u00a0Rivieccio, Non-involutive twist-structures, Logic Journal of the IGPL, Special Issue on Recovery Operators and Logics of Formal Consistency and Inconsistencies 28(5):973\u2013999, 2020.","DOI":"10.1093\/jigpal\/jzy070"},{"key":"10088_CR9","unstructured":"Macnab, D.S., An algebraic study of modal operators on Heyting algebras with applications to topology and sheafification, PhD dissertation, University of Aberdeen, 1976."},{"issue":"4","key":"10088_CR10","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"SP Odintsov","year":"2003","unstructured":"Odintsov, S.P., Algebraic semantics for paraconsistent Nelson\u2019s logic, Journal of Logic and Computation 13(4):453\u2013468, 2003.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"10088_CR11","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"SP Odintsov","year":"2004","unstructured":"Odintsov, S.P., On the representation of N4-lattices, Studia Logica 76(3):385\u2013405, 2004.","journal-title":"Studia Logica"},{"key":"10088_CR12","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, volume\u00a078 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1974."},{"issue":"1","key":"10088_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1080\/11663081.2023.2203312","volume":"33","author":"U Rivieccio","year":"2023","unstructured":"Rivieccio, U., Fragments of Quasi-Nelson: Residuation, Journal of Applied Non-Classical Logics 33(1):52\u2013119, 2023.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"5","key":"10088_CR14","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1093\/jigpal\/jzab023","volume":"30","author":"U Rivieccio","year":"2022","unstructured":"Rivieccio, U., Fragments of quasi-Nelson: the algebraizable core, Logic Journal of the IGPL 30(5):807\u2013839, 2022.","journal-title":"Logic Journal of the IGPL"},{"key":"10088_CR15","first-page":"499","volume":"7","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio, U., Fragments of quasi-Nelson: two negations, Journal of Applied Logic 7:499\u2013559, 2020.","journal-title":"Journal of Applied Logic"},{"key":"10088_CR16","doi-asserted-by":"publisher","first-page":"2671","DOI":"10.1007\/s00500-021-06719-9","volume":"26","author":"U Rivieccio","year":"2022","unstructured":"Rivieccio, U., Quasi-N4-lattices, Soft Computing 26:2671\u20132688, 2022.","journal-title":"Soft Computing"},{"issue":"12","key":"10088_CR17","doi-asserted-by":"publisher","first-page":"8685","DOI":"10.1007\/s00500-020-04885-w","volume":"24","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio, U., Representation of De Morgan and (semi-)Kleene lattices, Soft Computing 24(12):8685\u20138716, 2020.","journal-title":"Soft Computing"},{"key":"10088_CR18","doi-asserted-by":"crossref","unstructured":"Rivieccio, U., T.\u00a0Flaminio, and T.\u00a0Nascimento, On the representation of (weak) nilpotent minimum algebras, in 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, United Kingdom, 2020, pp. 1\u20138.","DOI":"10.1109\/FUZZ48607.2020.9177641"},{"key":"10088_CR19","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S0960129521000049","volume":"31","author":"U Rivieccio","year":"2021","unstructured":"Rivieccio, U., and R.\u00a0Jansana, Quasi-Nelson algebras and fragments, Mathematical Structures in Computer Science 31:257\u2013285, 2021.","journal-title":"Mathematical Structures in Computer Science"},{"key":"10088_CR20","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.entcs.2019.07.011","volume":"344","author":"U Rivieccio","year":"2019","unstructured":"Rivieccio, U., and Spinks, M., Quasi-Nelson algebras, Electronic Notes in Theoretical Computer Science 344:169\u2013188, 2019.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10088_CR21","doi-asserted-by":"crossref","unstructured":"Rivieccio, U., and M.\u00a0Spinks, Quasi-Nelson; or, non-involutive Nelson algebras, in D. Fazio, A. Ledda, and F. Paoli (eds.), Algebraic Perspectives on Substructural Logics (Trends in Logic, 55), Springer, 2020, pp. 133\u2013168.","DOI":"10.1007\/978-3-030-52163-9_8"},{"key":"10088_CR22","doi-asserted-by":"publisher","first-page":"2297","DOI":"10.1007\/s00500-018-3588-9","volume":"23","author":"M Spinks","year":"2019","unstructured":"Spinks, M., U.\u00a0Rivieccio, and T.\u00a0Nascimento, Compatibly involutive residuated lattices and the Nelson identity, Soft Computing 23:2297\u20132320, 2019.","journal-title":"Soft Computing"},{"key":"10088_CR23","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M Spinks","year":"2008","unstructured":"Spinks, M., and R.\u00a0Veroff, Constructive logic with strong negation is a substructural logic. I, Studia Logica 88:325\u2013348, 2008.","journal-title":"Studia Logica"},{"key":"10088_CR24","doi-asserted-by":"crossref","unstructured":"Spinks, M., R.\u00a0Veroff, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, in J.\u00a0Czelakowski (ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, vol. 16 of Outstanding Contributions to Logic, Springer, Switzerland, 2018, pp. 323\u2013379.","DOI":"10.1007\/978-3-319-74772-9_13"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10088-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10088-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10088-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T08:23:48Z","timestamp":1729931028000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10088-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,9]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10088"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10088-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,9]]},"assertion":[{"value":"24 November 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 January 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}