{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:57Z","timestamp":1755220977341,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021364629235","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T20:22:32Z","timestamp":1048191752000},"page":"265-284","source":"Crossref","is-referenced-by-count":9,"title":["A Note on Algebras of Substitutions"],"prefix":"10.1007","volume":"72","author":[{"given":"G\u00e1bor","family":"S\u00e1gi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5111635_CR1","volume-title":"Complexity of the equations valid in algebras of relations","author":"H. Andr\u00c9ka","year":"1991","unstructured":"Andr\u00c9ka, H., 'Complexity of the equations valid in algebras of relations', Thesis for DSc (a post-habilitation degree) with Hungar. Acad. Sci., Budapest, 1991."},{"key":"5111635_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0168-0072(97)00027-4","volume":"89","author":"H. Andr\u00c9ka","year":"1997","unstructured":"Andr\u00c9ka, H., 'Complexity of equations valid in algebras of relations, part 1', Annals of Pure and Applied Logic 89:149-209, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"5111635_CR3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/BF02485226","volume":"5","author":"H. Andr\u00c9ka","year":"1975","unstructured":"Andr\u00c9ka, H., and I. N\u00c9meti, 'A simple purely algebraic proof of the completeness of some first order logics', Algebra Universalis 5:8-15, 1975.","journal-title":"Algebra Universalis"},{"key":"5111635_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00c9ka, H., I. N\u00c9meti, and I. Sain, 'Algebraic logic', in Handbook of Philosophical Logic (ed. D. M. Gabbay and F. Guenthner), 2nd edition, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-017-0452-6_3"},{"key":"5111635_CR5","series-title":"Lecture Notes","volume-title":"Introduction to algebraic logic","author":"H. Andr\u00c9ka","year":"1994","unstructured":"Andr\u00c9ka, H., and I. N\u00c9meti, and I. Sain, 'Introduction to algebraic logic', Lecture Notes, Math. Inst., Budapest, 1994."},{"key":"5111635_CR6","volume-title":"Applying algebraic logic; a general methodology","author":"H. Andr\u00c9ka","year":"1994","unstructured":"Andr\u00c9ka, H., \u00c1 Kurucz, I. N\u00c9meti, and I. Sain, 'Applying algebraic logic; a general methodology', Preprint, Math. Inst., Budapest, 1994."},{"key":"5111635_CR7","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0001-8708(77)80043-1","volume":"24","author":"K. Baker","year":"1977","unstructured":"Baker, K., 'Finite equational bases for finite algebras in a congruence-distributive equational class', Advances in Mathematics 24:207-243, 1977.","journal-title":"Advances in Mathematics"},{"key":"5111635_CR8","series-title":"Studies in Logic, Language and Information","volume-title":"Exploring Logical Dynamics","author":"J. Van Benthem","year":"1996","unstructured":"Van Benthem, J., Exploring Logical Dynamics, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996."},{"key":"5111635_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00d6rger","year":"1997","unstructured":"B\u00d6rger, E., E. Gr\u00c4del, and Y. Gurevich, The Classical Decision Problem, Springer, Berlin, 1997."},{"key":"5111635_CR10","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"Chang, C. C., and H. J. Keisler, Model Theory, North-Holland, Amsterdam, 1973."},{"key":"5111635_CR11","volume-title":"Cylindric Algebras, Part 1","author":"L. Henkin","year":"1971","unstructured":"Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part 1, North-Holland, Amsterdam, 1971."},{"key":"5111635_CR12","volume-title":"Cylindric Algebras, Part 2","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part 2, North-Holland, Amsterdam, 1985."},{"key":"5111635_CR13","doi-asserted-by":"crossref","unstructured":"Marx, M., and Y. Venema, Multi-Dimensional Modal Logic, Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"key":"5111635_CR14","doi-asserted-by":"crossref","first-page":"151","DOI":"10.4064\/fm-52-2-151-176","volume":"52","author":"J. D. Monk","year":"1963","unstructured":"Monk, J. D., and A. Daigneault, 'Representation theory for polyadic algebras', Fundamenta Mathematicae 52:151-176, 1963.","journal-title":"Fundamenta Mathematicae"},{"key":"5111635_CR15","doi-asserted-by":"crossref","unstructured":"N\u00c9meti, I., 'Algebraization of quantifier logics, an introductory overview', 12th version, Math. Inst., Budapest, Preprint No.13\/1996. See http:\/\/www.renyi.hu\/pub\/algebraic-logic\/survey.dvi. Extended abstract appeared as Studia Logica 50 (3\/4):485\u2013569, 1991.","DOI":"10.1007\/BF00370684"},{"key":"5111635_CR16","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-79-3-223-232","volume":"79","author":"C. Pinter","year":"1973","unstructured":"Pinter, C., 'A simpler set of axioms for polyadic algebras', Fundamenta Mathematicae 79:223-232, 1973.","journal-title":"Fundamenta Mathematicae"},{"key":"5111635_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1090\/S0002-9947-1973-0317931-1","volume":"175","author":"C. Pinter","year":"1973","unstructured":"Pinter, C., 'Cylindric algebras and algebras of substitutions', Trans. Amer. Math. Soc. 175:167-179, 1973.","journal-title":"Trans. Amer. Math. Soc."},{"key":"5111635_CR18","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/PL00005997","volume":"58","author":"G. S\u00c1gi","year":"1999","unstructured":"S\u00c1gi, G., 'Defining relations for non-permutational finite transformations', Semigroup Forum 58:94-105, 1999.","journal-title":"Semigroup Forum"},{"key":"5111635_CR19","volume-title":"On the finitization problem of algebraic logic","author":"G. S\u00c1gi","year":"1999","unstructured":"S\u00c1gi, G., 'On the finitization problem of algebraic logic', PhD thesis, E\u00f6tv\u00f6s University, Budapest, Hungary, 1999."},{"key":"5111635_CR20","doi-asserted-by":"crossref","unstructured":"Sain, I., 'On the search for a finitizable algebraization of first order logic', Logic Journal of the IGPL (special issue on algebraic logic, eds.: I. N\u00e9meti and I. Sain) 8:495-588, 2000.","DOI":"10.1093\/jigpal\/8.4.497"},{"key":"5111635_CR21","first-page":"327","volume-title":"Algebraic Methods in Logic and in Computer Science","author":"R. Thompson","year":"1993","unstructured":"Thompson, R., 'Complete description of substitutions in cylindric algebras and other algebraic logics', in Algebraic Methods in Logic and in Computer Science, Banach Center Publications 28, Warsaw, 1993, pp. 327-342."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021364629235.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021364629235\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021364629235.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:22:51Z","timestamp":1754630571000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021364629235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5111635"],"URL":"https:\/\/doi.org\/10.1023\/a:1021364629235","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}