{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:22:45Z","timestamp":1772119365033,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s00500-021-06719-9","type":"journal-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T21:02:21Z","timestamp":1645477341000},"page":"2671-2688","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Quasi-N4-lattices"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"6719_CR1","unstructured":"Aguzzoli S, Busaniche M, Gerla B, Marcos MA (2017) On the category of Nelson paraconsistent lattices. J Log Comput 27(7):2227\u20132250"},{"key":"6719_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad A, Nelson D (1984) Constructible falsity and inexact predicates. J Symb Log 49:231\u2013233","journal-title":"J Symb Log"},{"key":"6719_CR3","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok WJ, K\u00f6hler P, Pigozzi D (1984) On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18:334\u2013379","journal-title":"Algebra Universalis"},{"key":"6719_CR4","doi-asserted-by":"crossref","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable logics. Mem Amer Math Soc A.M.S, Providence, 396","DOI":"10.1090\/memo\/0396"},{"key":"6719_CR5","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok WJ, Pigozzi D (1994) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32:545\u2013608","journal-title":"Algebra Universalis"},{"key":"6719_CR6","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Netherlands"},{"key":"6719_CR7","doi-asserted-by":"crossref","unstructured":"F. Liang and T.\u00a0Nascimento (2019) Algebraic semantics for quasi-Nelson logic. In R.\u00a0Iemhoff, M.\u00a0Moortgat, and R.\u00a0de Queiroz, editors, Logic, Language, Information, and Computation. Proc. WoLLIC 2019, volume 11541 of Lecture Notes in Computer Science, pp 450\u2013466, Springer, Berlin, Heidelberg, 2019","DOI":"10.1007\/978-3-662-59533-6_27"},{"key":"6719_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02483860","volume":"12","author":"DS Macnab","year":"1981","unstructured":"Macnab DS (1981) Modal operators on Heyting algebras. Algebra Universalis 12:5\u201329","journal-title":"Algebra Universalis"},{"key":"6719_CR9","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":"6719_CR10","doi-asserted-by":"crossref","unstructured":"Odintsov SP (2003) Algebraic semantics for paraconsistent Nelson\u2019s logic. J Log Comput 13(4):453\u2013468","DOI":"10.1093\/logcom\/13.4.453"},{"issue":"3","key":"6719_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 SP (2004) On the representation of N4-lattices. Stud Logica 76(3):385\u2013405","journal-title":"Stud Logica"},{"key":"6719_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive negations and paraconsistency","author":"SP Odintsov","year":"2008","unstructured":"Odintsov SP (2008) Constructive negations and paraconsistency, vol 26. Springer, Berlin"},{"key":"6719_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2011.10.014","volume":"278","author":"U Rivieccio","year":"2011","unstructured":"Rivieccio U (2011) Paraconsistent modal logics. Electronic Notes in Theoretical Computer Science 278:173\u2013186","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6719_CR14","doi-asserted-by":"publisher","unstructured":"Rivieccio U, Flaminio T, Nascimento T (2020) On the representation of (weak) nilpotent minimum algebras. 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, United Kingdom, 2020, pp 1\u20138, https:\/\/doi.org\/10.1109\/FUZZ48607.2020.9177641","DOI":"10.1109\/FUZZ48607.2020.9177641"},{"key":"6719_CR15","doi-asserted-by":"crossref","unstructured":"Rivieccio U, Jansana R (2021) Quasi-Nelson algebras and fragments. Mathematical Structures in Computer Science 31:257\u2013285 (2021)","DOI":"10.1017\/S0960129521000049"},{"key":"6719_CR16","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-188","journal-title":"Electron Notes Theor Comput Sci"},{"key":"#cr-split#-6719_CR17.1","unstructured":"Rivieccio U, Spinks M (2020) Quasi-Nelson"},{"key":"#cr-split#-6719_CR17.2","unstructured":"or, non-involutive Nelson algebras. In: D. Fazio, A. Ledda, F. Paoli (eds.), Algebraic Perspectives on Substructural Logics (Trends in Logic, 55), pp 133-168, Springer, 2020"},{"issue":"03","key":"6719_CR18","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 Logic 52(03):712\u2013724","journal-title":"J Symb Logic"},{"key":"6719_CR19","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"},{"key":"6719_CR20","first-page":"323","volume-title":"Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Outstanding Contributions to Logic","author":"M Spinks","year":"2018","unstructured":"Spinks M, Veroff R (2018) Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. In: Czelakowski J (ed) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Outstanding Contributions to Logic, vol 16. Springer International Publishing, Switzerland, pp 323\u2013379"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06719-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-021-06719-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06719-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T07:20:01Z","timestamp":1646119201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-021-06719-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,22]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["6719"],"URL":"https:\/\/doi.org\/10.1007\/s00500-021-06719-9","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-629354\/v1","asserted-by":"object"}]},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,22]]},"assertion":[{"value":"22 December 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The author declares that he has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"N\/A","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}},{"value":"this article does not contain any studies with human participants or animals.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}