{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T20:10:19Z","timestamp":1683058219489},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2004,11,1]],"date-time":"2004-11-01T00:00:00Z","timestamp":1099267200000},"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":[[2004,11]]},"DOI":"10.1007\/s11225-005-3005-0","type":"journal-article","created":{"date-parts":[[2005,3,30]],"date-time":"2005-03-30T17:51:12Z","timestamp":1112205072000},"page":"3-5","source":"Crossref","is-referenced-by-count":1,"title":["From the editors"],"prefix":"10.1007","volume":"78","author":[{"given":"M. E.","family":"Adams","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. V.","family":"Adaricheva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Dziobiak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Kravchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and D. Pigozzi, Algebraizable Logics, Mem. Amer. Math. Soc. 396, Amer. Math. Soc., 1989.","DOI":"10.1090\/memo\/0396"},{"key":"CR2","unstructured":"Budkin, A. I., ?Quasivarieties of Groups?, Izd. Alta $$\\mathop 1\\limits^ \\vee$$ sk. Gos. Univ., 2002."},{"key":"CR3","unstructured":"Clark, D. M., and B. A. Davey, ?Natural Dualities for the Working Algebraist?, Cambridge Studies in Advanced Mathematics 57, Cambridge University Press, 1998."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., ?Protoalgebraic Logics?, Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"CR5","unstructured":"Gorbunov, V. A., ?Algebraic Theory of Quasivarieties?, Siberian School of Algebra and Logic, Consultants Bureau, 1998."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/PL00022468","volume":"46","author":"V. A. Gorbunov","year":"2001","unstructured":"Gorbunov, V. A., and A. V. Kravchenko, ?Antivarieties and colour-families of graphs?, Algebra Universalis 46:43?67, 2001.","journal-title":"Algebra Universalis"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1142\/S0218196795000227","volume":"5","author":"O. Kharlampovich","year":"1995","unstructured":"Kharlampovich, O., and M. V. Sapir, ?Algorithmic problems in varieties?, Internat. J. Algebra Comput. 5:379?602, 1995.","journal-title":"Internat. J. Algebra Comput."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1006\/inco.2001.2960","volume":"179","author":"D. Kozen","year":"2002","unstructured":"Kozen, D., ?On the complexity of reasoning in Kleene algebra?, Inform. and Comput. 179: 152?162, 2002.","journal-title":"Inform. and Comput."},{"key":"CR9","unstructured":"Maltsev, A. I., ?Some borderline problems of algebra and logic?, in: Proc. Internat. Congr. Math. (Moscow, 1966), 217?231, Mir, 1968."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Maltsev, A. I., ?Algebraic Systems?, Springer Verlag, 1973.","DOI":"10.1007\/978-3-642-65374-2"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/S0218196796000040","volume":"6","author":"R. McKenzie","year":"1996","unstructured":"McKenzie, R., ?Tarski?s finite basis problem is undecidable?, Internat. J. Algebra Comput. 6:49?104, 1996.","journal-title":"Internat. J. Algebra Comput."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1090\/S0002-9947-1988-0946222-1","volume":"310","author":"D. Pigozzi","year":"1988","unstructured":"Pigozzi, D., ?Finite basis theorem for relatively congruence distributive quasivarieties?, Trans. Amer. Math. Soc. 310:499?533, 1988.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR13","first-page":"99","volume":"8","author":"P. Wojtylak","year":"1979","unstructured":"Wojtylak, P., ?Strongly finite logics: finite axiomatizability and the problem of supremum?, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 8:99?111, 1979.","journal-title":"Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"W\ufffdjcicki, R., ?Theory of Logical Calculi. Basic Theory of Consequence Operations?, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3005-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-3005-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3005-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T19:40:53Z","timestamp":1683056453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-3005-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11]]},"references-count":14,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,11]]}},"alternative-id":["3005"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-3005-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,11]]}}}