{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:16Z","timestamp":1755220936763,"version":"3.43.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2000,2]]},"DOI":"10.1023\/a:1005238330484","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"61-81","source":"Crossref","is-referenced-by-count":2,"title":["Completeness Theorems via the Double Dual Functor"],"prefix":"10.1007","volume":"64","author":[{"given":"Adriana","family":"Galli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Sagastume","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gonzalo E.","family":"Reyes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"256192_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3792\/pja\/1195521624","volume":"43","author":"D. Brignole","year":"1967","unstructured":"Brignole, D., and A. Monteiro, 1967, \u2018Caract\u00e9risation des alg\u00e8bres de Nelson par \u00e9galit\u00e9s. I, II\u2019, Proc. Japan Acad. 43, 279-285.","journal-title":"Proc. Japan Acad."},{"key":"256192_CR2","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R. Cignoli","year":"1986","unstructured":"Cignoli, R., 1986, \u2018The class of Kleene algebras satisfying an interpolation property and Nelson algebras\u2019, Algebra Universalis 23, 262-292.","journal-title":"Algebra Universalis"},{"key":"256192_CR3","unstructured":"Cignoli, R., 1970, \u2018Moisil algebras\u2019, Notas de L\u00f3gica Matem\u00e1tica 27, Instituto de Matem. UN del Sur, B. Blanca."},{"key":"256192_CR4","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1017\/S1446788700023806","volume":"34","author":"R. Cignoli","year":"1983","unstructured":"Cignoli, R., and M. Sagastume De Gallego, 1983, \u2018Dualities for some De Morgan algebras with operators and \u0141ukasiewicz algebras\u2019, J. Austral. Math. Soc. (Series A) 34, 377-393.","journal-title":"J. Austral. Math. Soc."},{"key":"256192_CR5","unstructured":"Fidel, M., \u2018Un c\u00e1lculo modal correspondiente a las \u00e1lgebras de Moisil de orden\u2019 (unpublished)."},{"key":"256192_CR6","unstructured":"Galli, A., and M. Sagastume, Symmetric-intuitionistic connectives', Proceedings of the X Latinamerican Simposium on Mathematical Logic (to appear)."},{"key":"256192_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1002\/malq.19770230706","volume":"23","author":"L. Iturrioz","year":"1977","unstructured":"Iturrioz, L., 1977, \u0141ukasiewicz and symmetric Heyting algebras', Z. Math. Logik Grundlagen Math. 23, 131-136.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"256192_CR8","unstructured":"Johnstone, P. T., 1982, Stone Spaces, Cambridge University Press."},{"key":"256192_CR9","unstructured":"Lambek, J., and P. J. Scott, 1986, Introduction to Higher Order Categorical Logic, Cambridge University Press."},{"key":"256192_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0168-0072(93)00085-4","volume":"72","author":"M. Makkai","year":"1995","unstructured":"Makkai, M., and G. E. Reyes, 1995, \u2018Completeness results for intuitionistic and modal logic in a categorical setting\u2019, Annals of Pure and Applied Logic 72, 25-101.","journal-title":"Annals of Pure and Applied Logic"},{"key":"256192_CR11","first-page":"1","volume":"39","author":"A. Monteiro","year":"1980","unstructured":"Monteiro, A., 1980, \u2018Sur les alg\u00e9bres de Heyting sym\u00e9triques\u2019, Portugaliae Mathematica Vol. 39, 1-237.","journal-title":"Portugaliae Mathematica"},{"key":"256192_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00357841","volume":"25","author":"G. E. Reyes","year":"1996","unstructured":"Reyes, G. E., and H. Zolfaghari, 1996, \u2018Bi-Heyting algebras, toposes and modalities\u2019, Journal of Philosophical Logic 25, 25-43.","journal-title":"Journal of Philosophical Logic"},{"key":"256192_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov, D., 1977, \u2018Notes on N-lattices and constructive logic with strong negation\u2019, Studia Logica 36, 109-125.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005238330484.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005238330484\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005238330484.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:54Z","timestamp":1754630214000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005238330484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["256192"],"URL":"https:\/\/doi.org\/10.1023\/a:1005238330484","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}