{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:05Z","timestamp":1740108185872,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T00:00:00Z","timestamp":1561680000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T00:00:00Z","timestamp":1561680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["DEC-2011\/01\/D\/ST1\/06136"],"award-info":[{"award-number":["DEC-2011\/01\/D\/ST1\/06136"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1007\/s00153-019-00682-x","type":"journal-article","created":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T02:02:55Z","timestamp":1561687375000},"page":"149-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deciding active structural completeness"],"prefix":"10.1007","volume":"59","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6438-6262","authenticated-orcid":false,"given":"Micha\u0142 M.","family":"Stronkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,28]]},"reference":[{"key":"682_CR1","unstructured":"Bergman, C.: Structural completeness in algebra and logic. In: Algebraic Logic (Budapest, 1988), Colloq. Math. Soc. J\u00e1nos Bolyai, vol. 54, pp. 59\u201373. North-Holland, Amsterdam (1991)"},{"key":"682_CR2","volume-title":"Universal Algebra, Pure and Applied Mathematics (Boca Raton)","author":"C Bergman","year":"2012","unstructured":"Bergman, C.: Universal Algebra, Pure and Applied Mathematics (Boca Raton), vol. 301. CRC Press, Boca Raton (2012). Fundamentals and selected topics"},{"issue":"2","key":"682_CR3","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1137\/S0097539798345944","volume":"30","author":"C Bergman","year":"2000","unstructured":"Bergman, C., Slutzki, G.: Complexity of some problems concerning varieties and quasi-varieties of algebras. SIAM J. Comput. 30(2), 359\u2013382 (2000)","journal-title":"SIAM J. Comput."},{"key":"682_CR4","first-page":"3","volume":"4","author":"A Biela","year":"1975","unstructured":"Biela, A.: Note on the structural incompleteness of some modal propositional calculi. Rep. Math. Logic 4, 3\u20136 (1975)","journal-title":"Rep. Math. Logic"},{"key":"682_CR5","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"Stanley Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra, Graduate Texts in Mathematics, vol. 78. Springer, New York (1981). The Millennium Edition is available at \nhttp:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html"},{"issue":"9","key":"682_CR6","doi-asserted-by":"publisher","first-page":"4229","DOI":"10.1016\/j.jpaa.2015.02.015","volume":"219","author":"L Cabrer","year":"2015","unstructured":"Cabrer, L., Metcalfe, G.: Admissibility via natural dualities. J. Pure Appl. Algebra 219(9), 4229\u20134253 (2015)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"682_CR7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/3275115","volume":"20","author":"LM Cabrer","year":"2019","unstructured":"Cabrer, L.M., Freisberg, B., Metcalfe, G., Priestley, H.A.: Checking admissibility using natural dualities. ACM Trans. Comput. Log. 20(1), 2 (2019)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"682_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/jigpal\/jzu032","volume":"23","author":"M Campercholi","year":"2015","unstructured":"Campercholi, M., Stronkowski, M.M., Vaggione, D.: On structural completeness versus almost structural completeness problem: a discriminator varieties case study. Log. J. IGPL 23(2), 235\u2013246 (2015)","journal-title":"Log. J. IGPL"},{"issue":"2","key":"682_CR9","first-page":"249","volume":"22","author":"I Chajda","year":"1996","unstructured":"Chajda, I., Rosenberg, I.G.: Remarks on J\u00f3nsson\u2019s lemma. Houston J. Math. 22(2), 249\u2013262 (1996)","journal-title":"Houston J. Math."},{"key":"682_CR10","volume-title":"Protoalgebraic Logics, Trends in Logic-Studia Logica Library","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski, J.: Protoalgebraic Logics, Trends in Logic-Studia Logica Library, vol. 10. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"682_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4153\/CMB-1969-016-6","volume":"12","author":"A Day","year":"1969","unstructured":"Day, A.: A characterization of modularity for congruence lattices of algebras. Can. Math. Bull. 12, 167\u2013173 (1969)","journal-title":"Can. Math. Bull."},{"issue":"2","key":"682_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1017\/S1446788710001552","volume":"89","author":"I Dolinka","year":"2010","unstructured":"Dolinka, I.: On residually finite varieties of involution semigroups. J. Aust. Math. Soc. 89(2), 181\u2013198 (2010)","journal-title":"J. Aust. Math. Soc."},{"issue":"3","key":"682_CR13","first-page":"129","volume":"7","author":"Z Dywan","year":"1978","unstructured":"Dywan, Z.: Decidability of structural completeness for strongly finite propositional calculi. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Log. 7(3), 129\u2013132 (1978)","journal-title":"Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Log."},{"issue":"2\u20133","key":"682_CR14","first-page":"73","volume":"35","author":"W Dzik","year":"2006","unstructured":"Dzik, W.: Transparent unifiers in modal logics with self-conjugate operators. Bull. Sect. Log. Univ. \u0141\u00f3d\u017a 35(2\u20133), 73\u201383 (2006)","journal-title":"Bull. Sect. Log. Univ. \u0141\u00f3d\u017a"},{"issue":"7","key":"682_CR15","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1016\/j.apal.2016.03.002","volume":"167","author":"W Dzik","year":"2016","unstructured":"Dzik, W., Stronkowski, M.M.: Almost structural completeness; an algebraic approach. Ann. Pure Appl. Log. 167(7), 525\u2013556 (2016)","journal-title":"Ann. Pure Appl. Log."},{"key":"682_CR16","unstructured":"Font, J.M.: Abstract algebraic logic, Studies in Logic (London), vol. 60. College Publications, London (2016). An introductory textbook, Mathematical Logic and Foundations"},{"issue":"2","key":"682_CR17","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1090\/S0002-9947-1981-0603772-9","volume":"264","author":"R Freese","year":"1981","unstructured":"Freese, R., McKenzie, R.: Residually small varieties with modular congruence lattices. Trans. Am. Math. Soc. 264(2), 419\u2013430 (1981)","journal-title":"Trans. Am. Math. Soc."},{"issue":"5","key":"682_CR18","first-page":"1037","volume":"247","author":"EA Golubov","year":"1979","unstructured":"Golubov, E.A., Sapir, M.V.: Varieties of finitely approximable semigroups. Dokl. Akad. Nauk SSSR 247(5), 1037\u20131041 (1979)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"682_CR19","first-page":"21","volume":"11","author":"EA Golubov","year":"1982","unstructured":"Golubov, E.A., Sapir, M.V.: Varieties of finitely approximable semigroups. Izv. Vyssh. Uchebn. Zaved. Mat. 11, 21\u201329 (1982)","journal-title":"Izv. Vyssh. Uchebn. Zaved. Mat."},{"key":"682_CR20","volume-title":"Algebraic Theory of Quasivarieties. Siberian School of Algebra and Logic","author":"VA Gorbunov","year":"1998","unstructured":"Gorbunov, V.A.: Algebraic Theory of Quasivarieties. Siberian School of Algebra and Logic. Consultants Bureau, New York (1998). Translated from the Russian"},{"key":"682_CR21","doi-asserted-by":"crossref","unstructured":"Hobby, D., McKenzie, R.: The structure of finite algebras, Contemporary Mathematics, vol. 76. American Mathematical Society, Providence, RI (1988)","DOI":"10.1090\/conm\/076"},{"issue":"1\u20133","key":"682_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0012-365X(99)00042-4","volume":"207","author":"KA Kearnes","year":"1999","unstructured":"Kearnes, K.A., Kiss, E.W.: Finite algebras of finite complexity. Discrete Math. 207(1\u20133), 89\u2013135 (1999)","journal-title":"Discrete Math."},{"issue":"1\u20133","key":"682_CR23","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0168-0072(98)00063-3","volume":"99","author":"KA Kearnes","year":"1999","unstructured":"Kearnes, K.A., Kiss, E.W., Valeriote, M.A.: A geometric consequence of residual smallness. Ann. Pure Appl. Log. 99(1\u20133), 137\u2013169 (1999)","journal-title":"Ann. Pure Appl. Log."},{"key":"682_CR24","unstructured":"Kublanovski\u012d, S.I.: Finite approximability of prevarieties of semigroups with respect to predicates. In: Modern algebra (Russian), pp. 58\u201388. Leningrad. Gos. Ped. Inst., Leningrad (1980)"},{"key":"682_CR25","unstructured":"Kublanovski\u012d, S.I.: Finite approximability and algorithmic questions. In: Algebraic actions and orderings, pp. 59\u201378. Leningrad. Gos. Ped. Inst., Leningrad (1983)"},{"issue":"2","key":"682_CR26","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF02483833","volume":"13","author":"R McKenzie","year":"1981","unstructured":"McKenzie, R.: Residually small varieties of semigroups. Algebra Univers. 13(2), 171\u2013201 (1981)","journal-title":"Algebra Univers."},{"issue":"2","key":"682_CR27","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF01194524","volume":"17","author":"R McKenzie","year":"1983","unstructured":"McKenzie, R.: A note on residually small varieties of semigroups. Algebra Univers. 17(2), 143\u2013149 (1983)","journal-title":"Algebra Univers."},{"issue":"1","key":"682_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1142\/S0218196796000039","volume":"6","author":"R McKenzie","year":"1996","unstructured":"McKenzie, R.: The residual bound of a finite algebra is not computable. Int. J. Algebra Comput. 6(1), 29\u201348 (1996)","journal-title":"Int. J. Algebra Comput."},{"key":"682_CR29","unstructured":"McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks\/Cole Mathematics Series. Wadsworth & Brooks\/Cole Advanced Books & Software, Monterey, CA (1987)"},{"key":"682_CR30","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., R\u00f6thlisberger, C.: Admissibility in finitely generated quasivarieties. Log. Methods Comput. Sci. 9(2), 2:09, 19 (2013)","DOI":"10.2168\/LMCS-9(2:9)2013"},{"key":"682_CR31","first-page":"915","volume":"33","author":"AJ Ol\u2019\u0161anski\u012d","year":"1969","unstructured":"Ol\u2019\u0161anski\u012d, A.J.: Varieties of finitely approximable groups. Izv. Akad. Nauk SSSR Ser. Mat. 33, 915\u2013927 (1969)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"key":"682_CR32","first-page":"13","volume":"1","author":"J Perzanowski","year":"1973","unstructured":"Perzanowski, J.: A linguistic criterion of structural incompleteness. Rep. Math. Log. 1, 13\u201314 (1973)","journal-title":"Rep. Math. Log."},{"key":"682_CR33","first-page":"349","volume":"19","author":"WA Pogorzelski","year":"1971","unstructured":"Pogorzelski, W.A.: Structural completeness of the propositional calculus. Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys. 19, 349\u2013351 (1971)","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"682_CR34","volume-title":"Completeness Theory for Propositional Logics. Studies in Universal Logic","author":"WA Pogorzelski","year":"2008","unstructured":"Pogorzelski, W.A., Wojtylak, P.: Completeness Theory for Propositional Logics. Studies in Universal Logic. Birkh\u00e4user Verlag, Basel (2008)"},{"issue":"5","key":"682_CR35","first-page":"141","volume":"25","author":"VV Rybakov","year":"1984","unstructured":"Rybakov, V.V.: Admissible rules for logics containing S4.3. Sibirsk. Mat. Zh. 25(5), 141\u2013145 (1984)","journal-title":"Sibirsk. Mat. Zh."},{"issue":"2","key":"682_CR36","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/s00012-018-0507-y","volume":"79","author":"MM Stronkowski","year":"2018","unstructured":"Stronkowski, M.M.: Axiomatizations of universal classes through infinitary logic. Algebra Univers. 79(2), 26 (2018)","journal-title":"Algebra Univers."},{"key":"682_CR37","unstructured":"Stronkowski, M.M., Uli\u0144ski, M.: Active structural completeness for tabular modal logics. In: Adv. Modal Log., (Bern, 2018). Booklet of Short Papers, pp. 110\u2013114"},{"key":"682_CR38","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF02945005","volume":"2","author":"W Taylor","year":"1972","unstructured":"Taylor, W.: Residually small varieties. Algebra Univers. 2, 33\u201353 (1972)","journal-title":"Algebra Univers."},{"issue":"1","key":"682_CR39","doi-asserted-by":"publisher","first-page":"187","DOI":"10.2307\/2586531","volume":"65","author":"R Willard","year":"2000","unstructured":"Willard, R.: A finite basis theorem for residually finite, congruence meet-semidistributive varieties. J. Symbolic Log. 65(1), 187\u2013200 (2000)","journal-title":"J. Symbolic Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00682-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00682-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00682-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T02:20:48Z","timestamp":1593224448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00682-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,28]]},"references-count":39,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["682"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00682-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2019,6,28]]},"assertion":[{"value":"22 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}