{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T00:47:38Z","timestamp":1699145258840},"reference-count":34,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:p>We study splittings or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the non-splitting lemma, which when combined with some variety-specific constructions, yields each of our negative results: the variety of commutative integral residuated lattices contains no splitting algebras, and in the varieties of double Heyting algebras, dually pseudocomplemented Heyting algebras and regular double [Formula: see text]-algebras the only splitting algebras are the two-element and three-element chains.<\/jats:p>","DOI":"10.1142\/s021819672150034x","type":"journal-article","created":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T00:47:09Z","timestamp":1623890829000},"page":"727-774","source":"Crossref","is-referenced-by-count":0,"title":["Splittings in varieties of logic"],"prefix":"10.1142","volume":"31","author":[{"given":"Brian A.","family":"Davey","sequence":"first","affiliation":[{"name":"Mathematics and Statistics, La Trobe University, Victoria 3085, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Kowalski","sequence":"additional","affiliation":[{"name":"Mathematics and Statistics, La Trobe University, Victoria 3085, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.","family":"Taylor","sequence":"additional","affiliation":[{"name":"Mathematics and Statistics, La Trobe University, Victoria 3085, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2021,6,15]]},"reference":[{"key":"S021819672150034XBIB001","doi-asserted-by":"publisher","DOI":"10.1515\/ms-2017-0200"},{"key":"S021819672150034XBIB002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-04-03654-2"},{"key":"S021819672150034XBIB003","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050156"},{"key":"S021819672150034XBIB004","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483723"},{"key":"S021819672150034XBIB005","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov A.","year":"1997"},{"key":"S021819672150034XBIB006","first-page":"183","volume":"5","author":"Davey B. A.","year":"1979","journal-title":"Houston J. Math."},{"key":"S021819672150034XBIB007","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000009559.44998.a3"},{"key":"S021819672150034XBIB008","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"S021819672150034XBIB009","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485249"},{"key":"S021819672150034XBIB010","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1959-003-9"},{"key":"S021819672150034XBIB011","first-page":"298","volume":"214","author":"\u00c8sakia L. L.","year":"1974","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"S021819672150034XBIB012","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-1.1.399"},{"key":"S021819672150034XBIB013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2012-05573-5"},{"key":"S021819672150034XBIB014","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(07)80005-X","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","volume":"151","author":"Galatos N.","year":"2007"},{"key":"S021819672150034XBIB015","first-page":"1203","volume":"4","author":"Jankov V. A.","year":"1963","journal-title":"Soviet Math. Dokl."},{"key":"S021819672150034XBIB016","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10850"},{"key":"S021819672150034XBIB017","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945123"},{"key":"S021819672150034XBIB018","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9084-4_4"},{"key":"S021819672150034XBIB019","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050187"},{"key":"S021819672150034XBIB020","doi-asserted-by":"publisher","DOI":"10.1007\/BF01794981"},{"key":"S021819672150034XBIB021","series-title":"Studies in Logics","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(99)80001-9","volume-title":"Tools and Techniques in Modal Logic","volume":"142","author":"Kracht M.","year":"1999"},{"key":"S021819672150034XBIB022","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1972-0313141-1"},{"key":"S021819672150034XBIB023","first-page":"9","volume":"48","author":"Ne\u0161et\u0159il J.","year":"2007","journal-title":"Comment. Math. Univ. Carolin."},{"key":"S021819672150034XBIB024","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.2000.1970"},{"key":"S021819672150034XBIB025","doi-asserted-by":"publisher","DOI":"10.4064\/fm-84-2-127-143"},{"key":"S021819672150034XBIB026","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/26.1.215"},{"key":"S021819672150034XBIB027","doi-asserted-by":"publisher","DOI":"10.4064\/fm-83-3-219-249"},{"key":"S021819672150034XBIB028","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120864"},{"key":"S021819672150034XBIB029","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1985.117.405"},{"key":"S021819672150034XBIB030","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9712-5"},{"key":"S021819672150034XBIB031","first-page":"399","volume":"37","author":"Varlet J. C.","year":"1968","journal-title":"Bull. Soc. Roy. Sci. Li\u00e8ge"},{"key":"S021819672150034XBIB032","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945029"},{"key":"S021819672150034XBIB033","doi-asserted-by":"publisher","DOI":"10.2307\/2371781"},{"key":"S021819672150034XBIB034","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004218110879"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819672150034X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T00:01:49Z","timestamp":1699142509000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819672150034X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":34,"journal-issue":{"issue":"04","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["10.1142\/S021819672150034X"],"URL":"https:\/\/doi.org\/10.1142\/s021819672150034x","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6]]}}}