{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T09:03:38Z","timestamp":1751015018498,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T00:00:00Z","timestamp":1479945600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00c3\u00adficas y T\u00c3\u00a9cnicas","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005740","name":"Universidad Nacional del Sur (AR)","doi-asserted-by":"publisher","award":["24\/ZL11"],"award-info":[{"award-number":["24\/ZL11"]}],"id":[{"id":"10.13039\/501100005740","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s11083-016-9416-x","type":"journal-article","created":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T20:44:06Z","timestamp":1479933846000},"page":"23-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Semi-Nelson Algebras"],"prefix":"10.1007","volume":"35","author":[{"given":"Juan Manuel","family":"Cornejo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5303-623X","authenticated-orcid":false,"given":"Ignacio","family":"Viglizzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,24]]},"reference":[{"issue":"4","key":"9416_CR1","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/s00500-010-0604-0","volume":"15","author":"M Abad","year":"2010","unstructured":"Abad, M., Cornejo, J.M., D\u00edaz Varela, J.P.: The variety generated by semi-Heyting chains. Soft Comput. 15(4), 721\u2013728 (2010)","journal-title":"Soft Comput."},{"key":"9416_CR2","unstructured":"Abad, M., Cornejo, J.M., D\u00edaz Varela, J.P.: The variety of semi-Heyting algebras satisfying the equation (0\u21921)\u2217\u2228(0\u21921)\u2217\u2217\u2248. Rep. Math. Logic 46, 75\u201390 (2011)"},{"key":"9416_CR3","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/s11083-012-9266-0","volume":"2","author":"M Abad","year":"2013","unstructured":"Abad, M., Cornejo, J.M., D\u00edaz Varela, J.P.: Semi-Heyting algebras term-equivalent to G\u00f6del algebras. Order 2, 625\u2013642 (2013)","journal-title":"Order"},{"issue":"3","key":"9416_CR4","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1002\/malq.201020092","volume":"58","author":"M Abad","year":"2012","unstructured":"Abad, M., Cornejo, J.M., D\u00edaz Varela, P.: Free-decomposability in varieties of semi-Heyting algebras. Math. Log. Q. 58(3), 168\u2013176 (2012)","journal-title":"Math. Log. Q."},{"issue":"3","key":"9416_CR5","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok, W.J., K\u00f6hler, P., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences. II. Algebra Universalis 18(3), 334\u2013379 (1984)","journal-title":"Algebra Universalis"},{"key":"9416_CR6","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Springer-Verlag, New York (1981). volume 78 of Graduate Texts in Mathematics","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"1-2","key":"9416_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s11225-011-9321-7","volume":"98","author":"JM Cornejo","year":"2011","unstructured":"Cornejo, J.M.: Semi-intuitionistic logic. Stud. Logica. 98(1-2), 9\u201325 (2011)","journal-title":"Stud. Logica."},{"issue":"4","key":"9416_CR8","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1007\/s11225-014-9596-6","volume":"103","author":"JM Cornejo","year":"2015","unstructured":"Cornejo, J.M.: The semi Heyting-Brouwer logic. Stud. Logica. 103(4), 853\u2013875 (2015)","journal-title":"Stud. Logica."},{"issue":"2","key":"9416_CR9","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11225-014-9568-x","volume":"103","author":"JM Cornejo","year":"2015","unstructured":"Cornejo, J.M., Viglizzo, I.D.: On some semi-intuitionistic logics. Stud. Logica. 103(2), 303\u2013344 (2015)","journal-title":"Stud. Logica."},{"key":"9416_CR10","doi-asserted-by":"crossref","unstructured":"Day, A.: A note on the congruence extension property. Algebra Universalis 1, 234\u2013235 (1971\/72)","DOI":"10.1007\/BF02944983"},{"issue":"2","key":"9416_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF02482900","volume":"10","author":"E Fried","year":"1980","unstructured":"Fried, E., Gr\u00e4tzer, G., Quackenbush, R.: Uniform congruence schemes. Algebra Universalis 10(2), 176\u2013188 (1980)","journal-title":"Algebra Universalis"},{"key":"9416_CR12","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Amer. Math. Soc. 87, 485\u2013491 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9416_CR13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P K\u00f6hler","year":"1980","unstructured":"K\u00f6hler, P., Pigozzi, D.: Varieties with equationally definable principal congruences. Algebra Universalis 11(2), 213\u2013219 (1980)","journal-title":"Algebra Universalis"},{"issue":"1","key":"9416_CR14","doi-asserted-by":"crossref","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. J. Philos. Logic 27(1), 49\u201373 (1998)","journal-title":"J. Philos. Logic"},{"key":"9416_CR15","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symbolic Logic 14, 16\u201326 (1949)","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"9416_CR16","doi-asserted-by":"crossref","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. Stud. Logica. 76(3), 385\u2013405 (2004)","journal-title":"Stud. Logica."},{"key":"9416_CR17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","volume":"46","author":"H Rasiowa","year":"1958","unstructured":"Rasiowa, H.: N-lattices and constructive logic with strong negation. Fund. Math. 46, 61\u201380 (1958)","journal-title":"Fund. Math."},{"key":"9416_CR18","doi-asserted-by":"crossref","unstructured":"Rasiowa, H.: An algebraic approach to non-classical logics, vol. 78. North-Holland Publishing Co., Amsterdam (1974)","DOI":"10.1016\/S0049-237X(09)70074-6"},{"issue":"2","key":"9416_CR19","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s00012-014-0272-5","volume":"71","author":"U Rivieccio","year":"2014","unstructured":"Rivieccio, U.: Implicative twist-structures. Algebra Universalis 71(2), 155\u2013186 (2014)","journal-title":"Algebra Universalis"},{"key":"9416_CR20","unstructured":"Sankappanavar, H.P.: Semi-Heyting algebras: an abstraction from Heyting algebras. In: Proceedings of the 9th Dr. Antonio A. R. Monteiro Congress (Spanish), Actas Congr. Dr. Antonio A. R. Monteiro. Bah\u00eda Blanca, 2008. Univ. Nac. del Sur., pp 33\u201366"},{"issue":"1-2","key":"9416_CR21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11225-011-9322-6","volume":"98","author":"HP Sankappanavar","year":"2011","unstructured":"Sankappanavar, H.P.: Expansions of semi-Heyting algebras I: Discriminator varieties. Stud. Logica. 98(1-2), 27\u201381 (2011)","journal-title":"Stud. Logica."},{"issue":"3","key":"9416_CR22","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A Sendlewski","year":"1984","unstructured":"Sendlewski, A.: Some investigations of varieties of n-lattices. Stud. Logica. 43(3), 257\u2013280 (1984)","journal-title":"Stud. Logica."},{"issue":"1","key":"9416_CR23","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski, A.: Nelson algebras through Heyting ones. I. Stud. Logica. 49(1), 105\u2013126 (1990)","journal-title":"Stud. Logica."},{"key":"9416_CR24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.4153\/CJM-1951-003-5","volume":"3","author":"M Sholander","year":"1951","unstructured":"Sholander, M.: Postulates for distributive lattices. Canadian J. Math. 3, 28\u201330 (1951)","journal-title":"Canadian J. Math."},{"issue":"1\u20132","key":"9416_CR25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D.: Notes on N-lattices and constructive logic with strong negation. Stud. Logica. 36(1\u20132), 109\u2013125 (1977)","journal-title":"Stud. Logica."},{"key":"9416_CR26","unstructured":"Viglizzo, I. \u00c1lgebras de Nelson, Instituto De Matem\u00e1tica De Bah\u00eda Blanca, Universidad Nacional del Sur, 1999. Magister dissertation in Mathematics, Universidad Nacional del Sur, Bah\u00eda Blanca, available at https:\/\/sites.google.com\/site\/viglizzo\/viglizzo99nelson (1999)"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-016-9416-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-016-9416-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-016-9416-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T18:38:05Z","timestamp":1568572685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-016-9416-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,24]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["9416"],"URL":"https:\/\/doi.org\/10.1007\/s11083-016-9416-x","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2016,11,24]]}}}