{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T21:42:59Z","timestamp":1773178979487,"version":"3.50.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T00:00:00Z","timestamp":1585785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T00:00:00Z","timestamp":1585785600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s00500-020-04885-w","type":"journal-article","created":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T02:02:55Z","timestamp":1585792975000},"page":"8685-8716","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Representation of De Morgan and (Semi-)Kleene Lattices"],"prefix":"10.1007","volume":"24","author":[{"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,2]]},"reference":[{"key":"4885_CR1","unstructured":"Albuquerque U (2015) Operators and strong versions of sentential logics in abstract algebraic logic. PhD dissertation, University of Barcelona"},{"issue":"6","key":"4885_CR2","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s11225-017-9739-7","volume":"105","author":"H Albuquerque","year":"2017","unstructured":"Albuquerque H, Prenosil A, Rivieccio U (2017) An algebraic view of super-Belnap logics. Stud Logica 105(6):1051\u20131086","journal-title":"Stud Logica"},{"key":"4885_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3792\/pja\/1195521624","volume":"43","author":"D Brignole","year":"1967","unstructured":"Brignole D, Monteiro A (1967) Caracterisation des alg\u00e8bres de Nelson par des egalit\u00e9s. I, II. Proc Jpn Acad 43:279\u2013285 Reproduced in Notas de L\u00f3gica Matem\u00e1tica No. 20, Universidad Nacional del Sur, Bah\u00eda Blanca (1964)","journal-title":"Proc Jpn Acad"},{"issue":"7","key":"4885_CR4","doi-asserted-by":"publisher","first-page":"2962","DOI":"10.1016\/j.jpaa.2014.09.034","volume":"219","author":"LM Cabrer","year":"2015","unstructured":"Cabrer LM, Craig AP, Priestley HA (2015) Product representation for default bilattices: an application of natural duality theory. J Pure Appl Algebra 219(7):2962\u20132988","journal-title":"J Pure Appl Algebra"},{"issue":"2","key":"4885_CR5","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/malq.19990450206","volume":"45","author":"SA Celani","year":"1999","unstructured":"Celani SA (1999) Distributive lattices with a negation operator. Math Logic Q 45(2):207\u2013218","journal-title":"Math Logic Q"},{"issue":"2","key":"4885_CR6","first-page":"205","volume":"2","author":"SA Celani","year":"2007","unstructured":"Celani SA (2007) Representations for some algebras with a negation operator. Contrib Discrete Math 2(2):205\u2013213","journal-title":"Contrib Discrete Math"},{"issue":"3","key":"4885_CR7","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli R (1986) The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Univ 23(3):262\u2013292","journal-title":"Algebra Univ"},{"issue":"1","key":"4885_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700022966","volume":"16","author":"WH Cornish","year":"1977","unstructured":"Cornish WH, Fowler PR (1977) Coproducts of De Morgan algebras. Bull Austral Math Soc 16(1):1\u201313","journal-title":"Bull Austral Math Soc"},{"issue":"2","key":"4885_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1017\/S1446788700012131","volume":"27","author":"WH Cornish","year":"1979","unstructured":"Cornish WH, Fowler PR (1979) Coproducts of Kleene algebras. J Austral Math Soc Ser A 27(2):209\u2013220","journal-title":"J Austral Math Soc Ser A"},{"key":"4885_CR10","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"1990","unstructured":"Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge"},{"key":"4885_CR11","unstructured":"Dunn JM (1966) The algebra of intensional logics. Doctoral dissertation, University of Pittsburgh"},{"key":"4885_CR12","unstructured":"Fidel MM (1978) An algebraic study of a propositional system of Nelson. In: Arruda AI, Da Costa NCA, Chaqui R (eds) Mathematical logic, proceedings of the first Brazilian conference, vol 39. Lecture notes in pure and applied mathematics. Marcel Dekker, New York, pp 99\u2013117"},{"issue":"3","key":"4885_CR13","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font JM (1997) Belnap\u2019s four-valued logic and De Morgan lattices. Logic J IGPL 5(3):413\u2013440","journal-title":"Logic J IGPL"},{"issue":"5","key":"4885_CR14","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, Raftery JG (2015) Idempotent residuated structures: some category equivalences and their applications. Trans Am Math Soc 367(5):3189\u20133223","journal-title":"Trans Am Math Soc"},{"issue":"1","key":"4885_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke M, Harding J (2001) Bounded lattice expansions. J Algebra 238(1):345\u2013371","journal-title":"J Algebra"},{"key":"4885_CR16","doi-asserted-by":"crossref","unstructured":"Greco F, Liang F, Moshier A, Palmigiano A (2017) Multi-type display calculus for semi-De Morgan logic. In: Kennedy J, de Queiroz R (eds) Proceedings of WoLLIC 2017, pp 199\u2013215","DOI":"10.1007\/978-3-662-55386-2_14"},{"issue":"1\u20132","key":"4885_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00370145","volume":"56","author":"D Hobby","year":"1996","unstructured":"Hobby D (1996) Semi-De Morgan algebras. Stud Logica 56(1\u20132):151\u2013183","journal-title":"Stud Logica"},{"key":"4885_CR18","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1142\/S0218196709005251","volume":"19","author":"PM Idziak","year":"2009","unstructured":"Idziak PM, S\u0142omczy\u0144ska K, Wro\u0144ski A (2009) Fregean varieties. Int J Algebra Comput 19:595\u2013645","journal-title":"Int J Algebra Comput"},{"issue":"4","key":"4885_CR19","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1093\/jigpal\/jzu002","volume":"22","author":"R Jansana","year":"2014","unstructured":"Jansana R, Rivieccio U (2014) Dualities for modal N4-lattices. Logic J IGPL 22(4):608\u2013637","journal-title":"Logic J IGPL"},{"key":"4885_CR20","unstructured":"Jung A, Rivieccio U (2019) A duality for two-sorted lattices. (submitted)"},{"key":"4885_CR21","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87:485\u2013491","journal-title":"Trans Am Math Soc"},{"key":"4885_CR22","doi-asserted-by":"crossref","unstructured":"Maia P, Rivieccio U, Jung A (2018) Non-involutive twist-structures. Logic J IGPL (Special issue on recovery operators and logics of formal consistency & inconsistencies)","DOI":"10.1093\/jigpal\/jzy070"},{"key":"4885_CR23","first-page":"1","volume":"33","author":"A Monteiro","year":"1960","unstructured":"Monteiro A (1960) Matrices de Morgan caract\u00e9ristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias 33:1\u20137","journal-title":"Anais da Academia Brasileira de Ciencias"},{"key":"4885_CR24","first-page":"359","volume":"11","author":"A Monteiro","year":"1963","unstructured":"Monteiro A (1963) Construction des alg\u00e8bres de Nelson finies. Bull Acad Pol Sci 11:359\u2013362","journal-title":"Bull Acad Pol Sci"},{"key":"4885_CR25","unstructured":"Nascimento T, Rivieccio U, Marcos J, Spinks M (2018) Algebraic semantics for Nelson\u2019s logic $$S$$. In: Moss L, de Queiroz R, Martinez M (eds) Logic, language, information, and computation. WoLLIC 2018, vol 10944. Lecture notes in computer science. Springer, Berlin, pp 271\u2013288"},{"key":"4885_CR26","doi-asserted-by":"crossref","unstructured":"Nascimento T, Rivieccio U, Marcos J, Spinks M (2019) Nelson\u2019s logic $$S$$. Logic J IGPL","DOI":"10.1093\/jigpal\/jzaa015"},{"key":"4885_CR27","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson D (1949) Constructible falsity. J Symb Log 14:16\u201326","journal-title":"J Symb Log"},{"key":"4885_CR28","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"SP Odintsov","year":"2004","unstructured":"Odintsov SP (2004) On the representation of N4-lattices. Stud Logica 76:385\u2013405","journal-title":"Stud Logica"},{"issue":"1","key":"4885_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s11225-010-9274-2","volume":"96","author":"SP Odintsov","year":"2010","unstructured":"Odintsov SP (2010) Priestley duality for paraconsistent Nelson\u2019s logic. Stud Logica 96(1):65\u201393","journal-title":"Stud Logica"},{"issue":"4","key":"4885_CR30","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1023\/A:1022890312632","volume":"98","author":"C Palma","year":"2003","unstructured":"Palma C, Santos R (2003) On a subvariety of semi-De Morgan algebras. Acta Math Hung 98(4):323\u2013328","journal-title":"Acta Math Hung"},{"issue":"1","key":"4885_CR31","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz A, Rivieccio U (2013) Nothing but the truth. J Philos Logic 42(1):125\u2013135","journal-title":"J Philos Logic"},{"key":"4885_CR32","unstructured":"P\u0159enosil A (2015) The lattice of super-Belnap logics. (submitted)"},{"issue":"4","key":"4885_CR33","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"AP Pynko","year":"1995","unstructured":"Pynko AP (1995a) Characterizing Belnap\u2019s logic via De Morgan\u2019s laws. Math Logic Q 41(4):442\u2013454","journal-title":"Math Logic Q"},{"issue":"2","key":"4885_CR34","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"AP Pynko","year":"1995","unstructured":"Pynko AP (1995b) On Priest\u2019s logic of paradox. J Appl Non Class Logics 5(2):219\u2013225","journal-title":"J Appl Non Class Logics"},{"issue":"1\u20133","key":"4885_CR35","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0012-365X(99)00007-2","volume":"205","author":"AP Pynko","year":"1999","unstructured":"Pynko AP (1999) Implicational classes of De Morgan lattices. Discrete Math 205(1\u20133):171\u2013181","journal-title":"Discrete Math"},{"issue":"4","key":"4885_CR36","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/11663081.2012.737154","volume":"22","author":"U Rivieccio","year":"2012","unstructured":"Rivieccio U (2012) An infinity of super-Belnap logics. J Appl Non Class Logics 22(4):319\u2013335","journal-title":"J Appl Non Class Logics"},{"issue":"2","key":"4885_CR37","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s00012-014-0272-5","volume":"71","author":"U Rivieccio","year":"2014","unstructured":"Rivieccio U (2014) Implicative twist-structures. Algebra Univ 71(2):155\u2013186","journal-title":"Algebra Univ"},{"key":"4885_CR38","unstructured":"Rivieccio U, Spinks M (to appear) Quasi-Nelson; or, non-involutive Nelson algebras. Trends Logic (special issue dedicated to the conference AsubL (Algebra and substructural logics\u2014take 6), Cagliari"},{"key":"4885_CR39","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, Spinks M (2019) Quasi-Nelson algebras. Electron Notes Theor Comput Sci 344:169\u2013188","journal-title":"Electron Notes Theor Comput Sci"},{"key":"4885_CR40","doi-asserted-by":"crossref","unstructured":"Rivieccio U, Flaminio T, Nascimento T (2020) On the representation of (weak) nilpotent minimum algebras. In: Proceedings of the 2020 IEEE international conference on fuzzy systems, Glasgow, UK, 19\u201324 July 2020","DOI":"10.1109\/FUZZ48607.2020.9177641"},{"issue":"3","key":"4885_CR41","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar HP (1987) Semi-De Morgan algebras. J Symb Log 52(3):712\u2013724","journal-title":"J Symb Log"},{"key":"4885_CR42","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski A (1990) Nelson algebras through Heyting ones. I. Stud Logica 49:105\u2013126","journal-title":"Stud Logica"},{"key":"4885_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-018-3588-9","author":"M Spinks","year":"2018","unstructured":"Spinks M, Rivieccio U, Nascimento T (2018) Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. https:\/\/doi.org\/10.1007\/s00500-018-3588-9","journal-title":"Soft Comput"},{"key":"4885_CR44","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov D (1977) Notes on $$\\cal{N}$$-lattices and constructive logic with strong negation. Stud Logica 36:109\u2013125","journal-title":"Stud Logica"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04885-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-020-04885-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-04885-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T23:41:06Z","timestamp":1617320466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-020-04885-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,2]]},"references-count":44,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["4885"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-04885-w","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,2]]},"assertion":[{"value":"2 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The author declares that he has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}