{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T14:10:05Z","timestamp":1749996605119,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,2,17]],"date-time":"2017-02-17T00:00:00Z","timestamp":1487289600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s11225-017-9712-5","type":"journal-article","created":{"date-parts":[[2017,2,17]],"date-time":"2017-02-17T19:06:27Z","timestamp":1487358387000},"page":"817-841","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Expansions of Dually Pseudocomplemented Heyting Algebras"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1827-6753","authenticated-orcid":false,"given":"Christopher J.","family":"Taylor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,17]]},"reference":[{"key":"9712_CR1","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P.\u00a0Dwinger, Distributive lattices, University of Missouri Press, Columbia, Mo., 1974."},{"issue":"3","key":"9712_CR2","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok, W.\u00a0J., P.\u00a0K\u00f6hler, and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences. II, Algebra Universalis 18(3):334\u2013379, 1984.","journal-title":"Algebra Universalis"},{"issue":"2","key":"9712_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"WJ Blok","year":"1982","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences. I, Algebra Universalis 15(2):195\u2013227, 1982.","journal-title":"Algebra Universalis"},{"issue":"4","key":"9712_CR4","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences. III, Algebra Universalis 32(4):545\u2013608, 1994.","journal-title":"Algebra Universalis"},{"issue":"1","key":"9712_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"WJ Blok","year":"1994","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences. IV, Algebra Universalis 31(1):1\u201335, 1994.","journal-title":"Algebra Universalis"},{"key":"9712_CR6","unstructured":"Botur, M., J. K\u00fchr, L. Liu, and C. Tsinakis, The Conrad program: from $$\\ell $$ \u2113 -groups to algebras of logic, J. Algebra 450:173\u2013203, 2016."},{"key":"9712_CR7","doi-asserted-by":"crossref","unstructured":"Burris, S., and H.\u00a0P. Sankappanavar, A course in universal algebra, vol.\u00a078 of Graduate Texts in Mathematics, Springer, New York-Berlin, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"4","key":"9712_CR8","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1093\/jigpal\/8.4.393","volume":"8","author":"R Goldblatt","year":"2000","unstructured":"Goldblatt, R., Algebraic polymodal logic: a survey, Log. J. IGPL 8(4):393\u2013450, 2000.","journal-title":"Log. J. IGPL"},{"issue":"2","key":"9712_CR9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1002\/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J","volume":"47","author":"Y Hasimoto","year":"2001","unstructured":"Hasimoto, Y., Heyting algebras with operators, MLQ Math. Log. Q. 47(2):187\u2013196, 2001.","journal-title":"MLQ Math. Log. Q."},{"key":"9712_CR10","doi-asserted-by":"crossref","unstructured":"Jipsen, P., Discriminator varieties of Boolean algebras with residuated operators, in Algebraic methods in logic and in computer science (Warsaw, 1991), vol.\u00a028 of Banach Center Publ., Polish Acad. Sci., Warsaw, pp. 239\u2013252, 1993.","DOI":"10.4064\/-28-1-239-252"},{"issue":"2","key":"9712_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P K\u00f6hler","year":"1980","unstructured":"K\u00f6hler, P., and D.\u00a0Pigozzi, Varieties with equationally definable principal congruences, Algebra Universalis 11(2):213\u2013219, 1980.","journal-title":"Algebra Universalis"},{"issue":"2","key":"9712_CR12","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1023\/B:STUD.0000037129.58589.0c","volume":"77","author":"T Kowalski","year":"2004","unstructured":"Kowalski, T., Semisimplicity, EDPC and discriminator varieties of residuated lattices, Studia Logica 77(2):255\u2013265, 2004.","journal-title":"Studia Logica"},{"key":"9712_CR13","unstructured":"Kowalski, T., and I.\u00a0Ferreirim, Semisimple varieties of residuated lattice and their reducts, Unpublished manuscript."},{"issue":"1\u20133","key":"9712_CR14","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s11225-006-8308-2","volume":"83","author":"T Kowalski","year":"2006","unstructured":"Kowalski, T., and M.\u00a0Kracht, Semisimple varieties of modal algebras, Studia Logica 83(1-3):351\u2013363, 2006.","journal-title":"Studia Logica"},{"key":"9712_CR15","doi-asserted-by":"crossref","unstructured":"Quackenbush,\u00a0R.\u00a0W., Structure theory for equational classes generated by quasi-primal algebras, Trans. Amer. Math. Soc. 187:127\u2013145, 1974.","DOI":"10.2307\/1997046"},{"key":"9712_CR16","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2140\/pjm.1985.117.405","volume":"117","author":"HP Sankappanavar","year":"1985","unstructured":"Sankappanavar, H.\u00a0P., Heyting algebras with dual pseudocomplementation, Pacific J. Math. 117:405\u2013415, 1985.","journal-title":"Pacific J. Math."},{"issue":"6","key":"9712_CR17","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.1007\/s11225-012-9460-5","volume":"100","author":"H Takamura","year":"2012","unstructured":"Takamura, H., Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, Studia Logica 100(6):1137\u20131148, 2012.","journal-title":"Studia Logica"},{"key":"9712_CR18","unstructured":"Taylor, C., Discriminator varieties of double-Heyting algebras, Rep. Math. Logic. To appear, 2016."},{"key":"9712_CR19","doi-asserted-by":"crossref","unstructured":"Werner, H., Discriminator-algebras, vol.\u00a06 of Studien zur Algebra und ihre Anwendungen, Akademie-Verlag, Berlin. Algebraic representation and model theoretic properties, 1978.","DOI":"10.1515\/9783112733332"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9712-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9712-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9712-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T13:29:27Z","timestamp":1749994167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9712-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,17]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9712"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9712-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,2,17]]}}}