{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T04:07:50Z","timestamp":1744690070407,"version":"3.40.4"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,10,20]],"date-time":"2012-10-20T00:00:00Z","timestamp":1350691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11225-012-9460-5","type":"journal-article","created":{"date-parts":[[2012,10,19]],"date-time":"2012-10-19T12:19:49Z","timestamp":1350649189000},"page":"1137-1148","source":"Crossref","is-referenced-by-count":1,"title":["Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator"],"prefix":"10.1007","volume":"100","author":[{"given":"Hiroki","family":"Takamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,20]]},"reference":[{"key":"9460_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W. J. Blok","year":"1982","unstructured":"Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195\u2013227 (1982)","journal-title":"Algebra Universalis"},{"key":"9460_CR2","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"W. J. Blok","year":"1984","unstructured":"Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334\u2013379 (1984)","journal-title":"Algebra Universalis"},{"key":"9460_CR3","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"31","author":"W. J. Blok","year":"1994","unstructured":"Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 31, 545\u2013608 (1994)","journal-title":"Algebra Universalis"},{"key":"9460_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"W. J. Blok","year":"1994","unstructured":"Blok W. J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences IV. Algebra Universalis 31, 1\u201335 (1994)","journal-title":"Algebra Universalis"},{"key":"9460_CR5","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K. Blount","year":"2003","unstructured":"Blount K., Tsinakis C.: The structure of residuated lattices. International Journal of Algebra and Computation 13, 437\u2013461 (2003)","journal-title":"International Journal of Algebra and Computation"},{"key":"9460_CR6","unstructured":"Galatos, N., Varieties of residuated lattices, Ph.D. thesis, Vanderbilt University, 2003."},{"key":"9460_CR7","doi-asserted-by":"crossref","unstructured":"Grishin, V. N., Predicate and set-theoretic calculi based on logic without contraction rule (in Russian), Izvestia Akademii Nauk SSSR (also English translation in Math. USSR Izvestia) 45:47\u201368, 1981, (18:41\u201359, 1982).","DOI":"10.1070\/IM1982v018n01ABEH001382"},{"key":"9460_CR8","doi-asserted-by":"crossref","unstructured":"Jipsen, P., and C. Tsinakis, A survey of residuated lattices, in Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002.","DOI":"10.1007\/978-1-4757-3627-4_3"},{"key":"9460_CR9","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, 255\u2013265 (2004)","journal-title":"Studia Logica"},{"key":"9460_CR10","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s11225-006-8308-2","volume":"83","author":"T. Kowalski","year":"2006","unstructured":"Kowalski T., Kracht M.: Discriminator variety of multimodal algebras. Studia Logica 83, 351\u2013363 (2006)","journal-title":"Studia Logica"},{"key":"9460_CR11","first-page":"59","volume":"34","author":"T. Kowalski","year":"2000","unstructured":"Kowalski T., Ono H.: The variety of residuated lattices is generated by its finite simple members. Reports on Mathematical Logic 34, 59\u201377 (2000)","journal-title":"Reports on Mathematical Logic"},{"key":"9460_CR12","unstructured":"Galatos, N., T. Kowalski, P. Jipsen, and H. Ono, Residuated lattices: an algebraic glimpse at substructural logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007."},{"key":"9460_CR13","unstructured":"Takamura, H., The structure theory of residuated lattices with a modality, in preparation."},{"key":"9460_CR14","first-page":"469","volume":"6","author":"H. Takamura","year":"2006","unstructured":"Takamura H.: The variety of modal FLew-algebras is generated by its finite simple members. Proceedings of Advances in Modal Logic 6, 469\u2013479 (2006)","journal-title":"Proceedings of Advances in Modal Logic"},{"key":"9460_CR15","unstructured":"Takamura, H., Semisimplicity, EDPC and discriminator varieties of bounded commutative residuated lattices with an s4-like modal operator, Algebraic and Topological methods in Non-Classical Logic 2007 (TANCL2007), 2007)."},{"key":"9460_CR16","unstructured":"Takamura, H., Semisimplicity, EDPC and discriminator varieties of modal FL ew -algebras, preliminary version, Programming Science Technical Report, AIST-PS-2007-002, 2007."},{"key":"9460_CR17","unstructured":"Takamura, H., Algebraic structure of modal substructural logics (in Japanese), Foundation of Mathematics Summer School in Japan http:\/\/trout.math.cst.nihonu.ac.jp\/~shimura\/summer_school\/summer_takamura.pdf , 2009."},{"key":"9460_CR18","doi-asserted-by":"crossref","unstructured":"Werner, H., Discriminator Algebras, Akademie Verlag, Berlin, 1978.","DOI":"10.1515\/9783112733332"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9460-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9460-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9460-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T22:01:18Z","timestamp":1744668078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9460-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,20]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9460"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9460-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2012,10,20]]}}}