{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:11Z","timestamp":1740141431201,"version":"3.37.3"},"reference-count":24,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T00:00:00Z","timestamp":1523318400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7,25]]},"DOI":"10.1093\/jigpal\/jzy006","type":"journal-article","created":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T23:10:21Z","timestamp":1520377821000},"page":"408-428","source":"Crossref","is-referenced-by-count":4,"title":["A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras"],"prefix":"10.1093","volume":"26","author":[{"given":"Juan Manuel","family":"Cornejo","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica, Universidad Nacional del Sur, and CONICET. Av. Leandro N. Alem N\u00b0 - 2\u00b0 Piso, Bah\u00eda, Argentina"}]},{"given":"Hern\u00e1n Javier","family":"San Mart\u00edn","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Facultad de Ciencias Exactas (UNLP), and CONICET. Casilla de correos, Argentina"}]}],"member":"286","published-online":{"date-parts":[[2018,4,10]]},"reference":[{"key":"key\n\t\t\t\t20180818053350_C1","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/s00500-010-0604-0","article-title":"The variety generated by semi-Heyting chains","volume":"15","author":"Abad","year":"2010","journal-title":"Soft Computing"},{"key":"key\n\t\t\t\t20180818053350_C2","first-page":"75","article-title":"The variety of semi-Heyting algebras satisfying the equation (0\u21921)*\u2228 (0\u21921)**\u2248 1","volume":"46","author":"Abad","year":"2011","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t20180818053350_C3","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1002\/malq.201020092","article-title":"Free-decomposability in varieties of semi-Heyting algebras","volume":"58","author":"Abad","year":"2012","journal-title":"Mathematical Logic Quarterly"},{"key":"key\n\t\t\t\t20180818053350_C4","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/s11083-012-9266-0","article-title":"Semi-Heyting algebras term-equivalent to G\u00f6del algebras","volume":"2","author":"Abad","year":"2013","journal-title":"Order"},{"journal-title":"Distributive Lattices","year":"1974","author":"Balbes","key":"key\n\t\t\t\t20180818053350_C5"},{"article-title":"Caracterisation des Alg\u00e8bres de Nelson par des Egalit\u00e9s. I, II. Proceedings of the Japan Academy, 43, 1967, 279\u2013285","year":"1974","author":"Brignole","key":"key\n\t\t\t\t20180818053350_C6"},{"article-title":"Equational Characterization of Nelson Algebras. Notre Dame Journal of Formal Logic, 10, 1969, 285\u2013297","year":"1974","author":"Brignole","key":"key\n\t\t\t\t20180818053350_C7"},{"key":"key\n\t\t\t\t20180818053350_C8","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/exn081","article-title":"Constructive Logic with Strong Negation as a Substructural Logic","volume":"20","author":"Busaniche","year":"2010","journal-title":"Journal of Logic and Computation,"},{"key":"key\n\t\t\t\t20180818053350_C9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11225-008-9145-2","article-title":"On some categories of involutive centered residuated lattices","volume":"90","author":"Castiglioni","year":"2008","journal-title":"Studia Logica,"},{"key":"key\n\t\t\t\t20180818053350_C10","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s00012-017-0433-4","article-title":"Kleene algebras with implication","volume":"77","author":"Castiglioni","year":"2017","journal-title":"Algebra Universalis"},{"key":"key\n\t\t\t\t20180818053350_C11","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01230621","article-title":"The class of Kleene algebras satisfying an interpolation property and Nelson algebras","volume":"23","author":"Cignoli","year":"1986","journal-title":"Algebra Universalis,"},{"issue":"1","key":"key\n\t\t\t\t20180818053350_C12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s11083-016-9416-x","article-title":"Semi-Nelson Algebras.","volume":"35","author":"Cornejo","year":"2018","journal-title":"Order"},{"key":"key\n\t\t\t\t20180818053350_C13","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11225-017-9737-9","article-title":"Semi-Intuitionistic logic with strong negation.","volume":"106","author":"Cornejo","year":"2018","journal-title":"Studia Logica,"},{"key":"key\n\t\t\t\t20180818053350_C14","unstructured":"M. M. Fidel . An algebraic study of a propositional system of Nelson. Mathematical Logic, Proceedings of the First Brazilian Vonference. A. I. Arruda, N. C. A. Da Costa, R. Chuaqui, eds. Lectures in Pure and Applied Mathematics, vol. 39. New York and Basel: Marcel Dekker, pp. 99\u2013117, 1978."},{"key":"key\n\t\t\t\t20180818053350_C15","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","article-title":"The structure of commutative residuated lattices","volume":"12","author":"Hart","year":"2002","journal-title":"International Journal of Algebra and Compututation,"},{"key":"key\n\t\t\t\t20180818053350_C16","first-page":"348","article-title":"On Kalman\u2019s functor for bounded hemi-implicative semilattices and hemi-implicative lattices","volume":"25","author":"Jansana","year":"2017","journal-title":"Logic Journal of the IGPL,"},{"key":"key\n\t\t\t\t20180818053350_C17","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","article-title":"Lattices with involution","volume":"87","author":"Kalman","year":"1958","journal-title":"Transactions of the American Math Society"},{"article-title":"An algebraic approach to non-classical logics","year":"1974","author":"Rasiowa","key":"key\n\t\t\t\t20180818053350_C18"},{"key":"key\n\t\t\t\t20180818053350_C19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s11225-011-9322-6","article-title":"Expansions of semi-Heyting algebras I","volume":"98","author":"Sankappanavar","year":"2011","journal-title":"Discriminator Varieties. Studia Logica"},{"key":"key\n\t\t\t\t20180818053350_C20","first-page":"33","article-title":"Semi-Heyting algebras: an abstraction from Heyting algebras","author":"Sankappanavar","year":"2008"},{"key":"key\n\t\t\t\t20180818053350_C21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.4153\/CJM-1951-003-5","article-title":"Postulates for distributive lattices","volume":"3","author":"Sholander","year":"1951","journal-title":"Canadian Journal of Mathematics,"},{"key":"key\n\t\t\t\t20180818053350_C22","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","article-title":"Constructive logic with strong negation is a substructural logic. I","volume":"88","author":"Spinks","year":"2008","journal-title":"Studia Logica,"},{"key":"key\n\t\t\t\t20180818053350_C23","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","article-title":"Notes on N-lattices and constructive logic with strong negation","volume":"34","author":"Vakarelov","year":"1977","journal-title":"Studia Logica,"},{"volume-title":"\u00c1lgebras de Nelson. Instituto de Matem\u00e1tica de Bah\u00eda Blanca","year":"1999","author":"Viglizzo","key":"key\n\t\t\t\t20180818053350_C24"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/26\/4\/408\/25508466\/jzy006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T05:30:30Z","timestamp":1570858230000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/26\/4\/408\/4965772"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,10]]},"references-count":24,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2018,4,10]]},"published-print":{"date-parts":[[2018,7,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy006","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2018,8]]},"published":{"date-parts":[[2018,4,10]]}}}