{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T19:04:46Z","timestamp":1782587086751,"version":"3.54.5"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T00:00:00Z","timestamp":1612310400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T00:00:00Z","timestamp":1612310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"crossref","award":["11220170100195CO"],"award-info":[{"award-number":["11220170100195CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Departamento de Matem\u00e1tica - Universidad Nacional del Sur","award":["24\/L108"],"award-info":[{"award-number":["24\/L108"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11225-020-09934-x","type":"journal-article","created":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T12:06:07Z","timestamp":1612353967000},"page":"937-967","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Algebraic Study of S5-Modal G\u00f6del Logic"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2061-7273","authenticated-orcid":false,"given":"Diego","family":"Casta\u00f1o","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cecilia","family":"Cimadamore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 Patricio","family":"D\u00edaz\u00a0Varela","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laura","family":"Rueda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,2,3]]},"reference":[{"key":"9934_CR1","first-page":"1","volume":"35","author":"M Abad","year":"1987","unstructured":"Abad,\u00a0M., and L.\u00a0Monteiro, On free $$L$$-algebras, Notas de L\u00f3gica Matem\u00e1tica Univ. Nac. del Sur 35:1\u201320, 1987.","journal-title":"Notas de L\u00f3gica Matem\u00e1tica Universidad Nacional del Sur"},{"key":"9934_CR2","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive lattices, University of Missouri Press, Missouri, 1974."},{"issue":"3","key":"9934_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1023\/A:1005073905902","volume":"61","author":"G Bezhanishvili","year":"1998","unstructured":"Bezhanishvili, G., Varieties of monadic Heyting Algebras. Part I, Studia Logica 61(3):367\u2013402, 1998.","journal-title":"Studia Logica"},{"issue":"1","key":"9934_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1005173628262","volume":"62","author":"G Bezhanishvili","year":"1999","unstructured":"Bezhanishvili, G., Varieties of monadic Heyting Algebras. Part II: Duality Theory, Studia Logica 62(1):21\u201348, 1999.","journal-title":"Studia Logica"},{"key":"9934_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/A:1010577628486","volume":"67","author":"G Bezhanishvili","year":"2001","unstructured":"Bezhanishvili, G., Glivenko Type Theorems for Intuitionistic Logics, Studia Logica 67:89\u2013109, 2001.","journal-title":"Studia Logica"},{"issue":"4","key":"9934_CR6","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/PL00000358","volume":"46","author":"G Bezhanishvili","year":"2001","unstructured":"Bezhanishvili, G., Locally finite varieties, Algebra Universalis 46(4):531\u2013548, 2001.","journal-title":"Algebra Universalis"},{"key":"9934_CR7","unstructured":"Bezhanishvili, G., and R. Girgolia, Locally Tabular Extensions of MIPC, in M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, (eds.), Advances in Modal Logic, Vol. 2, CSLI Publications, 2000, pp. 119\u2013138."},{"key":"9934_CR8","unstructured":"Blok, W. J., Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976."},{"issue":"1","key":"9934_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo, X., and R. O. Rodr\u00edguez, Bi-modal G\u00f6del logic over $$[0,1]$$-valued Kripke frames, J. Logic Comput. 25(1):37\u201355, 2015.","journal-title":"Journal of Logic and Computation"},{"key":"9934_CR10","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.fss.2016.12.007","volume":"320","author":"D. Casta\u00f1o","year":"2017","unstructured":"Casta\u00f1o, D., C. Cimadamore, J. P. D\u00edaz Varela, and L. Rueda, Monadic BL-algebras: The equivalent algebraic semantics of H\u00e1jek\u2019s monadic fuzzy logic, Fuzzy Sets and Systems 320:40\u201359, 2017.","journal-title":"Fuzzy Sets and Systems"},{"key":"9934_CR11","doi-asserted-by":"publisher","unstructured":"Casta\u00f1o, D., C. Cimadamore, J. P. D\u00edaz Varela, and L. Rueda, Completeness for monadic fuzzy logics via functional algebras, Fuzzy Sets and Systems, to appear, 2020, https:\/\/doi.org\/10.1016\/j.fss.2020.02.002.","DOI":"10.1016\/j.fss.2020.02.002"},{"key":"9934_CR12","doi-asserted-by":"crossref","unstructured":"Cignoli, R., Quantifiers on distributive lattices, Discrete Mathematics 96(3):183\u2013197.","DOI":"10.1016\/0012-365X(91)90312-P"},{"key":"9934_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"2002","unstructured":"Davey, B. A., and H. A. Priestley, Introduction to lattices and order, second edition, Cambridge University Press, 2002.","edition":"2"},{"issue":"1\u20133","key":"9934_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.apal.2003.11.031","volume":"128","author":"A Di Nola","year":"2004","unstructured":"Di Nola, A., and R. Grigolia, On monadic MV-algebras, Annals of Pure and Applied Logic 128(1-3):125\u2013139, 2004.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9934_CR15","doi-asserted-by":"crossref","unstructured":"Esakia, L., Heyting algebras, translated from the Russian edition by Anton Evseev, Trends in Logic\u2014Studia Logica Library 50, Springer, 2019.","DOI":"10.1007\/978-3-030-12096-2"},{"key":"9934_CR16","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V., Sur quelques points de la logique de M. Brouwer, Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique 15:183\u2013188, 1929.","journal-title":"Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique"},{"key":"9934_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of fuzzy logic, Trends in Logic\u2014Studia Logica Library 4, Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9934_CR18","first-page":"217","volume":"12","author":"PR Halmos","year":"1955","unstructured":"Halmos, P. R., Algebraic logic, I. Monadic boolean algebras, Compositio Mathematica 12:217\u2013249, 1955.","journal-title":"Compositio Mathematica"},{"issue":"2","key":"9934_CR19","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1305\/ndjfl\/1093894723","volume":"13","author":"T Hecht","year":"1972","unstructured":"Hecht, T., and T. Katri\u0148\u00e1k, Equational classes of relative Stone algebras, Notre Dame J. Formal Logic 13(2):248\u2013254, 1972.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9934_CR20","first-page":"1","volume":"39","author":"A Monteiro","year":"1980","unstructured":"Monteiro, A., Sur les Alg\u00e8bres de Heyting Sym\u00e9triques, Portugaliae Mathematica 39:1\u2013237, 1980.","journal-title":"Portugaliae Mathematica"},{"key":"9934_CR21","unstructured":"Monteiro, A., and O. Varsavsky, \u00c1lgebras de Heyting mon\u00e1dicas, Actas de las X Jornadas de la Uni\u00f3n Matem\u00e1tica Argentina, 52\u201362, 1957."},{"key":"9934_CR22","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2:186\u2013190, 1970.","journal-title":"Bulletin of the London Mathematical Society"},{"key":"9934_CR23","first-page":"39","volume":"23","author":"HA Priestley","year":"1984","unstructured":"Priestley, H. A., Ordered sets and duality for distributive lattices, Ann. Discrete Math. 23:39\u201360, 1984.","journal-title":"Annals of Discrete Mathematics"},{"issue":"1","key":"9934_CR24","first-page":"47","volume":"50","author":"L Rueda","year":"2009","unstructured":"Rueda, L., The subvariety of $$Q$$-Heyting algebras generated by chains, Revista de la Uni\u00f3n Matem\u00e1tica Argentina 50(1):47\u201359, 2009.","journal-title":"Revista de la Uni\u00f3n Matem\u00e1tica Argentina"},{"key":"9934_CR25","doi-asserted-by":"crossref","unstructured":"Werner, H., Discriminator-algebras: Algebraic Representation and Model Theoretic Properties, Studien zur Algebra und ihre Anwendungen [Studies in Algebra and its Applications] vol. 6, Akademie-Verlag, Berlin, 1978.","DOI":"10.1515\/9783112733332"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09934-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09934-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09934-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:56:11Z","timestamp":1724421371000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09934-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,3]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9934"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09934-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,3]]},"assertion":[{"value":"19 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 February 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}