{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:28Z","timestamp":1755220948284,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"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,7]]},"DOI":"10.1023\/a:1005211613539","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"181-198","source":"Crossref","is-referenced-by-count":2,"title":["Varieties of Three-Valued Heyting Algebras with a Quantifier"],"prefix":"10.1007","volume":"65","author":[{"given":"M.","family":"Abad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.P.","family":"D\u00edaz Varela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.A.","family":"Rueda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.M.","family":"Suard\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"268200_CR1","unstructured":"Abad, M., and J. P. D\u00cdaz Varela, \u2018Free Q-distributive lattices from meet semilattices\u2019, submitted for publication."},{"key":"268200_CR2","unstructured":"Abad, M., and J. P. D\u00cdaz Varela, \u2018On some subvarieties of closure algebras\u2019, submitted for publication."},{"key":"268200_CR3","unstructured":"Abad, M., J. P. D\u00cdaz Varela, L. Rueda and A. Suard\u00cdaz, \u2018Equational bases for three-valued Heyting algebras with a quantifier\u2019, to appear."},{"key":"268200_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1017\/S0013091500017806","volume":"29","author":"M. E. Adams","year":"1986","unstructured":"Adams, M. E., \u2018Maximal subalgebras of Heyting algebras\u2019, Proceedings of the Edinburgh Mathematical Society 29 (1986), 259-365.","journal-title":"Proceedings of the Edinburgh Mathematical Society"},{"key":"268200_CR5","first-page":"12","volume":"135","author":"M. E. Adams","year":"1994","unstructured":"Adams, M. E., and W. Dziobiak, \u2018Quasivarieties of distributive lattices with a quantifier\u2019, Discrete Math, 135 (1994), 12-28.","journal-title":"Quasivarieties of distributive lattices with a quantifier"},{"key":"268200_CR6","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974."},{"key":"268200_CR7","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1005073905902","volume":"61","author":"G. Bezhanishvili","year":"1998","unstructured":"Bezhanishvili, G., \u2018Varieties of monadic Heyting algebras, Part I\u2019, Studia Logica 61 (1998), 367-402.","journal-title":"Studia Logica"},{"key":"268200_CR8","unstructured":"Blok, W. J., Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976."},{"key":"268200_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0012-365X(91)90312-P","volume":"96","author":"R. Cignoli","year":"1991","unstructured":"Cignoli, R., \u2018Quantifiers on distributive lattices\u2019, Discrete Math. 96 (1991), 183-197.","journal-title":"Discrete Math."},{"key":"268200_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF00370139","volume":"56","author":"R. Cignoli","year":"1996","unstructured":"Cignoli, R., \u2018Free Q-distributive lattices\u2019, Studia Logica 56 (1996), 23-29.","journal-title":"Studia Logica"},{"key":"268200_CR11","first-page":"183","volume":"5","author":"B. A. Davey","year":"1979","unstructured":"Davey, B. A., \u2018On the lattice of subvarieties\u2019, Houston J. Math. 5 (1979), 183-192.","journal-title":"Houston J. Math."},{"key":"268200_CR12","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge Univ. Press, Cambridge, 1990."},{"key":"268200_CR13","unstructured":"D\u00cdaz Varela, J. P., \u2018Equational classes of linear closure algebras\u2019, to appear."},{"key":"268200_CR14","first-page":"217","volume":"12","author":"P. R. Halmos","year":"1955","unstructured":"Halmos, P. R., \u2018Algebraic logic I. Monadic Boolean algebras\u2019, Compositio Math. 12 (1955), 217-249.","journal-title":"Compositio Math."},{"key":"268200_CR15","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B. J\u00d3nsson","year":"1967","unstructured":"J\u00d3nsson, B., \u2018Algebras whose congruence lattices are distributive\u2019, Math. Scand. 21 (1967), 110-121.","journal-title":"Math. Scand."},{"key":"268200_CR16","unstructured":"Monteiro, A., \u2018Algebras mon\u00e1dicas\u2019, Atas do Segundo Col\u00f3quio Brasileiro de Matem\u00e1tica, S\u00e3o Paulo, 1960."},{"key":"268200_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.4064\/fm-74-2-99-109","volume":"74","author":"L. Monteiro","year":"1972","unstructured":"Monteiro, L., \u2018Alg\u00e8bre du calcul propositionnel trivalent de Heyting\u2019, Fund. Math. 74 (1972), 99-109.","journal-title":"Fund. Math."},{"key":"268200_CR18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0012-365X(96)00151-3","volume":"175","author":"A. Petrovich","year":"1997","unstructured":"Petrovich, A., \u2018Equations in the theory of Q-distributive lattices\u2019, Discrete Mathematics 175 (1997), 211-219.","journal-title":"Discrete Mathematics"},{"key":"268200_CR19","first-page":"39","volume":"23","author":"H. A. Priestley","year":"1984","unstructured":"Priestley, H. A., \u2018Ordered sets and duality for distributive lattices\u2019, Ann. Discrete Math. 23 (North-Holland, Amsterdam, 1984) 39-60.","journal-title":"Ann. Discrete Math."},{"key":"268200_CR20","first-page":"291","volume-title":"Natural dualities for varieties of distributive lattices with a quantifier","author":"H. A. Priestley","year":"1993","unstructured":"Priestley, H. A., \u2018Natural dualities for varieties of distributive lattices with a quantifier\u2019, Banach Center Publications, Volume 28, Warszawa 1993, 291-310."},{"issue":"5","key":"268200_CR21","first-page":"298","volume":"16","author":"M. Servi","year":"1979","unstructured":"Servi, M., \u2018Un'assiomatizzazione dei reticoli esistenziali\u2019, Boll. Un. Mat. Ital. A 16(5) (1979), 298-301.","journal-title":"Boll. Un. Mat. Ital."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005211613539.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005211613539\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005211613539.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:18:39Z","timestamp":1754630319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005211613539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["268200"],"URL":"https:\/\/doi.org\/10.1023\/a:1005211613539","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}