{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T11:44:08Z","timestamp":1781869448200,"version":"3.54.5"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["731143"],"award-info":[{"award-number":["731143"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Rutherford Fund Strategic Partnership","award":["Grant 2018\/19"],"award-info":[{"award-number":["Grant 2018\/19"]}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"crossref","award":["313643\/2017-2"],"award-info":[{"award-number":["313643\/2017-2"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1007\/s00500-020-05482-7","type":"journal-article","created":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T00:05:43Z","timestamp":1609805143000},"page":"851-868","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A duality for two-sorted lattices"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Achim","family":"Jung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,5]]},"reference":[{"issue":"1","key":"5482_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli O, Avron A (1996) Reasoning with logical bilattices. J Log Lang Inf 5(1):25\u201363","journal-title":"J Log Lang Inf"},{"key":"5482_CR2","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia"},{"issue":"1\u20132","key":"5482_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s11225-011-9323-5","volume":"98","author":"G Bezhanishvili","year":"2011","unstructured":"Bezhanishvili G, Jansana R (2011) Priestley style duality for distributive meet-semilattices. Stud Log 98(1\u20132):83\u2013122","journal-title":"Stud Log"},{"issue":"2","key":"5482_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10485-011-9265-0","volume":"21","author":"G Bezhanishvili","year":"2013","unstructured":"Bezhanishvili G, Jansana R (2013) Esakia style duality for implicative semilattices. Appl Categ Struct 21(2):181\u2013208","journal-title":"Appl Categ Struct"},{"key":"5482_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G Birkhoff","year":"1970","unstructured":"Birkhoff G, Lipson JD (1970) Heterogeneous algebras. J Comb Theory 8:115\u2013133","journal-title":"J Comb Theory"},{"key":"5482_CR6","volume-title":"Modal logic. Number\u00a053 in Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Number\u00a053 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge"},{"issue":"1","key":"5482_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s00012-011-0151-2","volume":"66","author":"F Bou","year":"2011","unstructured":"Bou F, Jansana R, Rivieccio U (2011) Varieties of interlaced bilattices. Algebra Univ 66(1):115\u2013141","journal-title":"Algebra Univ"},{"issue":"2","key":"5482_CR8","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 Log Q 45(2):207\u2013218","journal-title":"Math Log Q"},{"issue":"3","key":"5482_CR9","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":"3","key":"5482_CR10","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF00383451","volume":"8","author":"R Cignoli","year":"1991","unstructured":"Cignoli R, Lafalce S, Petrovich A (1991) Remarks on Priestley duality for distributive lattices. Order 8(3):299\u2013315","journal-title":"Order"},{"issue":"1","key":"5482_CR11","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":"4","key":"5482_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s00012-013-0258-8","volume":"70","author":"BA Davey","year":"2013","unstructured":"Davey BA (2013) The product representation theorem for interlaced pre-bilattices: some historical remarks. Algebra Univers 70(4):403\u2013409","journal-title":"Algebra Univers"},{"key":"5482_CR13","first-page":"147","volume":"15","author":"LL Esakia","year":"1974","unstructured":"Esakia LL (1974) Topological Kripke models. Sov Math Dokl 15:147\u2013151","journal-title":"Sov Math Dokl"},{"issue":"6","key":"5482_CR14","doi-asserted-by":"publisher","first-page":"2067","DOI":"10.1093\/logcom\/exu064","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella S, Greco G, Kurz A, Palmigiano A (2016) Multi-type display calculus for propositional dynamic logic. J Log Comput 26(6):2067\u20132104","journal-title":"J Log Comput"},{"key":"5482_CR15","first-page":"81","volume-title":"Proceedings of trends in logic XIII (Lodz, Poland, 2\u20135 July 2014), volume\u00a013","author":"S Frittella","year":"2014","unstructured":"Frittella S, Greco G, Kurz A, Palmigiano A, Sikimi\u0107 V (2014) Multi-type sequent calculi. In: Zawidski M, Indrzejczak A, Kaczmarek J (eds) Proceedings of trends in logic XIII (Lodz, Poland, 2\u20135 July 2014), volume\u00a013. Lodz University Press, Lodz, pp 81\u201393"},{"issue":"6","key":"5482_CR16","doi-asserted-by":"publisher","first-page":"2067","DOI":"10.1093\/logcom\/exu064","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella S, Greco G, Kurz A, Palmigiano A, Sikimi\u0107 V (2016) Multi-type display calculus for dynamic epistemic logic. J Log Comput 26(6):2067\u20132104","journal-title":"J Log Comput"},{"key":"5482_CR17","volume-title":"Residuated Lattices: an algebraic glimpse at substructural logics, Studies in Logic and the Foundations of Mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated Lattices: an algebraic glimpse at substructural logics, Studies in Logic and the Foundations of Mathematics, vol 151. Elsevier, Amsterdam"},{"issue":"3","key":"5482_CR18","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s11083-013-9311-7","volume":"31","author":"M Gehrke","year":"2014","unstructured":"Gehrke M, Van Gool SJ (2014) Distributive envelopes and topological duality for lattices via canonical extensions. Order 31(3):435\u2013461","journal-title":"Order"},{"key":"5482_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg ML (1988) Multivalued logics: a uniform approach to inference in artificial intelligence. Comput Intell 4:265\u2013316","journal-title":"Comput Intell"},{"key":"5482_CR20","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-662-55386-2_11","volume-title":"Proceedings of the 24th workshop on logic language, information and computation (WoLLIC), volume LNCS 10388","author":"G Greco","year":"2017","unstructured":"Greco G, Palmigiano A (2017) Lattice logic properly displayed. In: Kennedy J, de Queiroz R (eds) Proceedings of the 24th workshop on logic language, information and computation (WoLLIC), volume LNCS 10388. Springer, Berlin, pp 153\u2013169"},{"key":"5482_CR21","unstructured":"Greco G, Palmigiano A (Submitted) Linear logic properly displayed. arXiv:1611.04181"},{"key":"5482_CR22","doi-asserted-by":"crossref","unstructured":"Greco G, Liang F, Moshier MA, Palmigiano A (2017) Multi-type display calculus for semi De Morgan logic. In: WoLLIC, logic, language, information, and computation, pp 199\u2013215","DOI":"10.1007\/978-3-662-55386-2_14"},{"key":"5482_CR23","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.fss.2018.05.007","volume":"363","author":"G Greco","year":"2019","unstructured":"Greco G, Liang F, Palmigiano A, Rivieccio U (2019) Bilattice logic properly displayed. Fuzzy Sets Syst 363:138\u2013155","journal-title":"Fuzzy Sets Syst"},{"key":"5482_CR24","volume-title":"Algebraic logic","author":"PR Halmos","year":"1962","unstructured":"Halmos PR (1962) Algebraic logic. Chelsea Publ. Co., New York"},{"issue":"1\u20132","key":"5482_CR25","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 Log 56(1\u20132):151\u2013183 Special issue on Priestley duality","journal-title":"Stud Log"},{"key":"5482_CR26","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, Jung A, Pultr A (2016) Bitopology and four-valued logic. Electron Notes Theor Comput Sci 325:201\u2013219","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"4","key":"5482_CR27","first-page":"608","volume":"22","author":"R Jansana","year":"2014","unstructured":"Jansana R, Rivieccio U (2014) Dualities for modal N4-lattices. Log J I.G.P.L. 22(4):608\u2013637","journal-title":"Log J I.G.P.L."},{"key":"5482_CR28","doi-asserted-by":"crossref","unstructured":"Jung A, Rivieccio U (2013) Kripke semantics for modal bilattice logic. In: 28th annual ACM\/IEEE symposium on logic in computer science, LICS 2013, New Orleans, LA, USA, June 25\u201328, 2013, pp 438\u2013447","DOI":"10.1109\/LICS.2013.50"},{"key":"5482_CR29","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/oso\/9780198537359.003.0003","volume-title":"Handbook of logic in computer science","author":"K Meinke","year":"1992","unstructured":"Meinke K, Tucker JV (1992) Universal algebra. In: Abramsky S, Gabbay D, Maibaum T (eds) Handbook of logic in computer science, vol 1. Oxford University Press, Oxford, pp 189\u2013411"},{"key":"5482_CR30","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"},{"issue":"4","key":"5482_CR31","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"SP Odintsov","year":"2003","unstructured":"Odintsov SP (2003) Algebraic semantics for paraconsistent Nelson\u2019s logic. J Log Comput 13(4):453\u2013468","journal-title":"J Log Comput"},{"issue":"3","key":"5482_CR32","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 Log 76(3):385\u2013405","journal-title":"Stud Log"},{"issue":"1","key":"5482_CR33","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 Log 96(1):65\u201393","journal-title":"Stud Log"},{"key":"5482_CR34","volume-title":"An algebraic approach to non-classical logics, Studies in Logic and the Foundations of Mathematics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa H (1974) An algebraic approach to non-classical logics, Studies in Logic and the Foundations of Mathematics, vol 78. North-Holland, Amsterdam"},{"issue":"2","key":"5482_CR35","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":"5482_CR36","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1093\/logcom\/exv038","volume":"27","author":"U Rivieccio","year":"2017","unstructured":"Rivieccio U, Jung A, Jansana R (2017) Four-valued modal logic: Kripke semantics and duality. J Log Comput 27:155\u2013199","journal-title":"J Log Comput"},{"issue":"5","key":"5482_CR37","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1093\/jigpal\/jzy070","volume":"28","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio U, Jung A, Maia P (2020) Non-involutive twist-structures. Log J IGPL 28(5):973\u2013999","journal-title":"Log J IGPL"},{"issue":"4","key":"5482_CR38","first-page":"499","volume":"7","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio U (2020) Fragments of quasi-Nelson: two negations. J Appl Log 7(4):499\u2013559","journal-title":"J Appl Log"},{"issue":"12","key":"5482_CR39","doi-asserted-by":"publisher","first-page":"8685","DOI":"10.1007\/s00500-020-04885-w","volume":"24","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio U (2020) Representation of De Morgan and (semi-)Kleene lattices. Soft Comput 24(12):8685\u20138716","journal-title":"Soft Comput"},{"key":"5482_CR40","first-page":"634","volume-title":"Information processing and management of uncertainty in knowledge-based systems. IPMU 2020. Communications in Computer and Information Science, vol. 1239","author":"U Rivieccio","year":"2020","unstructured":"Rivieccio U, Jansana R, Nascimento T (2020) Two dualities for weakly pseudo-complemented quasi-Kleene algebras. In: Lesot MJ et al (eds) Information processing and management of uncertainty in knowledge-based systems. IPMU 2020. Communications in Computer and Information Science, vol. 1239. Springer, Berlin, pp 634\u2013653"},{"key":"5482_CR41","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":"5482_CR42","unstructured":"Rivieccio U, Spinks M (2020) Quasi-Nelson; or, non-involutive Nelson algebras. In: Fazio D, Ledda A, Paoli F (eds) Algebraic perspectives on substructural logics (Trends in Logic, 55). Springer, pp 133\u2013168"},{"issue":"03","key":"5482_CR43","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(03):712\u2013724","journal-title":"J Symb Log"},{"key":"5482_CR44","doi-asserted-by":"publisher","first-page":"2297","DOI":"10.1007\/s00500-018-3588-9","volume":"23","author":"M Spinks","year":"2019","unstructured":"Spinks M, Rivieccio U, Nascimento T (2019) Compatibly involutive residuated lattices and the Nelson identity. Soft Comput 23:2297\u20132320","journal-title":"Soft Comput"},{"issue":"1\u20132","key":"5482_CR45","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 Log 36(1\u20132):109\u2013125","journal-title":"Stud Log"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05482-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-020-05482-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05482-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T19:44:43Z","timestamp":1724183083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-020-05482-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["5482"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-05482-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1]]},"assertion":[{"value":"5 January 2021","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":"Both authors declare that they have 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 performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}