{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T21:53:03Z","timestamp":1774561983498,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T00:00:00Z","timestamp":1648166400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T00:00:00Z","timestamp":1648166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100005746","name":"universidad nacional del litoral, argentina","doi-asserted-by":"crossref","award":["CAI+D 50620190100088LI"],"award-info":[{"award-number":["CAI+D 50620190100088LI"]}],"id":[{"id":"10.13039\/501100005746","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100006668","name":"fondo para la investigaci\u00f3n cient\u00edfica y tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT 2019-00882"],"award-info":[{"award-number":["PICT 2019-00882"]}],"id":[{"id":"10.13039\/501100006668","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005746","name":"universidad nacional del litoral, argentina","doi-asserted-by":"crossref","award":["CAI+D 50620190100088LI"],"award-info":[{"award-number":["CAI+D 50620190100088LI"]}],"id":[{"id":"10.13039\/501100005746","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100006668","name":"fondo para la investigaci\u00f3n cient\u00edfica y tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT 2019-00882"],"award-info":[{"award-number":["PICT 2019-00882"]}],"id":[{"id":"10.13039\/501100006668","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s11225-022-09988-z","type":"journal-article","created":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T16:30:21Z","timestamp":1648225821000},"page":"949-987","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Twist Structures and Nelson Conuclei"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3072-1055","authenticated-orcid":false,"given":"Manuela","family":"Busaniche","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Galatos","sequence":"additional","affiliation":[]},{"given":"Miguel Andr\u00e9s","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,3,25]]},"reference":[{"key":"9988_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2021.08.020","author":"P Aglian\u00f3","year":"2021","unstructured":"Aglian\u00f3, P., and M. Marcos, Varieties of K-lattices, Fuzzy Sets and Systems, 2021, https:\/\/doi.org\/10.1016\/j.fss.2021.08.020.","journal-title":"Fuzzy Sets and Systems"},{"key":"9988_CR2","doi-asserted-by":"publisher","first-page":"2227","DOI":"10.1093\/logcom\/exx014","volume":"27","author":"S Aguzzoli","year":"2017","unstructured":"Aguzzoli, S., M. Busaniche, B. Gerla, and M. Marcos, On the category of Nelson paraconsistent lattices, Journal of Logic and Computation 27: 2227\u20132250, 2017.","journal-title":"Journal of Logic and Computation."},{"key":"9988_CR3","doi-asserted-by":"crossref","unstructured":"Barr, M., $$*$$-Autonomous Categories, vol. 752 of Lecture Notes in Mathematics, Springer-Verlag, 1979.","DOI":"10.1007\/BFb0064579"},{"key":"9988_CR4","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount, \u00a0K., and C. Tsinakis, The Structure of residuated lattices, International Journal of Algebra and Computation 13: 437\u2013461, 2003.","journal-title":"International Journal of Algebra and Computation"},{"key":"9988_CR5","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"M Busaniche","year":"2010","unstructured":"Busaniche, M., and R. Cignoli, Constructive logic with strong negation as a substructural logic, Journal of Logic and Computation 20: 761\u2013793, 2010.","journal-title":"Journal of Logic and Computation"},{"key":"9988_CR6","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1093\/logcom\/exp028","volume":"19","author":"M Busaniche","year":"2009","unstructured":"Busaniche, M., and R. Cignoli, Residuated lattices as an algebraic semantics for paraconsistent Nelson logic, Journal of Logic and Computation 19: 1019\u20131029, 2009.","journal-title":"Journal of Logic and Computation"},{"key":"9988_CR7","first-page":"99","volume":"34","author":"M Busaniche","year":"2011","unstructured":"Busaniche, M., and R. Cignoli, Remarks on an algebraic semantics for paraconsistent Nelson\u2019s logic, Manuscrito, Center of Logic, Epistemology and the History of Science 34: 99\u2013114, 2011.","journal-title":"Manuscrito, Center of Logic, Epistemology and the History of Science"},{"key":"9988_CR8","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. Cignoli, Commutative residuated lattices represented by twist-products, Algebra Universalis 71: 5\u201322, 2014.","journal-title":"Algebra Universalis"},{"issue":"5","key":"9988_CR9","first-page":"816","volume":"23","author":"L Cabrer","year":"2015","unstructured":"Cabrer, L., and H. Priestley, A general framework for product representations: billatices and beyond, Logic Journal of the IGPL 23 (5): 816\u2013841, 2015.","journal-title":"A general framework for product representations: billatices and beyondLogic Journal of the IGPL"},{"key":"9988_CR10","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli, R., The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis 23: 262\u2013292, 1986.","journal-title":"Algebra Universalis"},{"key":"9988_CR11","unstructured":"Fidel, M.M., An algebraic study of a propositional system of Nelson, in A.I. Arruda, N.C.A. da Costa, and R. Chuaqui, (eds.), Mathematical Logic. Proceedings of the First Brazilian Conference, vol.\u00a039 of Lectures in Pure and Applied Mathematics, Marcel Dekker Inc, 1978, pp.\u00a099\u2013117."},{"key":"9988_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","author":"N Galatos","year":"2004","unstructured":"Galatos, N., and J.G. Raftery, Adding involution to residuated structures, Studia Logica 77: 181\u2013207, 2004.","journal-title":"Studia Logica"},{"issue":"5","key":"9988_CR13","doi-asserted-by":"publisher","first-page":"3189","DOI":"10.1090\/S0002-9947-2014-06072-8","volume":"367","author":"N Galatos","year":"2015","unstructured":"Galatos, N., and J.G. Raftery, Idempotent residuated structures: some category equivalences and their applications, Transactions of the American Mathematical Society 367(5): 3189\u20133223, 2015.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9988_CR14","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol.\u00a0151 of Studies in Logics and the Foundations of Mathematics, Elsevier, 2007."},{"key":"9988_CR15","doi-asserted-by":"crossref","unstructured":"Galatos, N., and P. Jipsen, The structure of generalized BI-algebras and weakening relation algebras, Algebra Universalis 81(3): 2020.","DOI":"10.1007\/s00012-020-00663-9"},{"key":"9988_CR16","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"JB Hart","year":"2002","unstructured":"Hart, J.B., L. Rafter, and C. Tsinakis, The structure of commutative residuated lattices, International Journal of Algebra and Computation 12: 509\u2013524, 2002.","journal-title":"International Journal of Algebra and Computation"},{"key":"9988_CR17","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J Kalman","year":"1958","unstructured":"Kalman, J., Lattices with involution, Transactions of the American Mathematical Society 87: 485\u2013491, 1958.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9988_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M Kracht","year":"1998","unstructured":"Kracht, M., On extensions of intermediate logics by strong negation, Journal of Philosophical Logic 27: 49\u201373, 1998.","journal-title":"Journal of Philosophical Logic"},{"key":"9988_CR19","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, Journal of Symbolic Logic 14: 16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"9988_CR20","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: 385\u2013405, 2004.","journal-title":"Studia Logica"},{"key":"9988_CR21","doi-asserted-by":"crossref","unstructured":"Odintsov, S.P., Constructive Negations and Paraconsistency, vol.\u00a026 of Trends in Logic, Springer, 2008","DOI":"10.1007\/978-1-4020-6867-6"},{"issue":"1","key":"9988_CR22","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","volume":"46","author":"H Rasiowa","year":"1968","unstructured":"Rasiowa, H., N-lattices and constructive logic with strong negation, Funtamenta Mathematicae 46(1): 61\u201380, 1968.","journal-title":"Funtamenta Mathematicae"},{"key":"9988_CR23","unstructured":"Rasiowa, H., An algebraic approach to non-classical logics, North-Holland, 1974."},{"issue":"5","key":"9988_CR24","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1093\/jigpal\/jzy070","volume":"28","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio, U., Implicative twist-structures, Logic Journal of the IGPL  28(5): 973\u2013999, 2020.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9988_CR25","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s00012-014-0272-5","volume":"71","author":"U Rivieccio","year":"2014","unstructured":"Rivieccio, U., and H. Ono, Modal Twist-Structures, Algebra Universalis 71(2): 155\u2013186, 2014.","journal-title":"Algebra Universalis"},{"key":"9988_CR26","unstructured":"Rosenthal, K., Quantales and Their Applications, vol. 234 of Pitman Research Notes in Mathematics Series, Longman Scientific & Technical, Harlow, 1990."},{"key":"9988_CR27","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski, A., Nelson algebras through Heyting ones. I, Studia Logica 49: 105\u2013126, 1990.","journal-title":"Studia Logica"},{"key":"9988_CR28","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. Veroff, Constructive logic with strong negation is a substructural logic I, Studia Logica 88: 325\u2013348, 2008.","journal-title":"Studia Logica"},{"key":"9988_CR29","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","volume":"89","author":"M Spinks","year":"2008","unstructured":"Spinks, M. and R. Veroff, Constructive logic with strong negation is a substructural logic II, Studia Logica 89: 401\u2013425, 2008.","journal-title":"Studia Logica"},{"key":"9988_CR30","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11225-006-8311-7","volume":"83","author":"C Tsinakis","year":"2006","unstructured":"Tsinakis, C., and A.M. Wille, Minimal Varieties of Involutive Residuated Lattices, Studia Logica 83: 407\u2013423, 2006.","journal-title":"Studia Logica"},{"key":"9988_CR31","first-page":"109","volume":"34","author":"D Vakarelov","year":"1997","unstructured":"Vakarelov, D., Notes on N-lattices and constructive logic with strong negation, Studia Logica 34: 109\u2013125, 1997.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09988-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-09988-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09988-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T05:18:46Z","timestamp":1657862326000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-09988-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,25]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["9988"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-09988-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,25]]},"assertion":[{"value":"17 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}