{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:53Z","timestamp":1755220913314,"version":"3.43.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"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":[[2003,6]]},"DOI":"10.1023\/a:1024673906579","type":"journal-article","created":{"date-parts":[[2003,9,15]],"date-time":"2003-09-15T17:37:08Z","timestamp":1063647428000},"page":"99-152","source":"Crossref","is-referenced-by-count":7,"title":["Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization"],"prefix":"10.1007","volume":"74","author":[{"given":"G. D.","family":"Barbour","sequence":"first","affiliation":[]},{"given":"J. G.","family":"Raftery","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"122","key":"5139787_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1023\/A:1022873713616","volume":"47","author":"G. D. Barbour","year":"1997","unstructured":"Barbour, G. D., and J.G. Raftery, \u2018On the degrees of permutability of subregular varieties\u2019, Czechoslovak Math. J. 47(122) (1997), 317-325.","journal-title":"Czechoslovak Math. J."},{"key":"5139787_CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Protoalgebraic logics\u2019, Studia Logica 45 (1986), 337-369.","journal-title":"Studia Logica"},{"key":"5139787_CR3","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Local deduction theorems in algebraic logic\u2019, in H. Andr\u00e9ka, J.D. Monk and I. N\u00e9meti, (eds.), Algebraic Logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai 54, Budapest (Hungary), 1988, 75-109."},{"key":"5139787_CR4","series-title":"Memoirs of the American Mathematical Society","volume-title":"Algebraizable Logics","author":"W. J. Blok","year":"1989","unstructured":"Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989."},{"key":"5139787_CR5","series-title":"Research and Exposition in Mathematics","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory (Proc. Conf. Jadwisin, Poland, May 23\u201328, 1989)","author":"W. J. Blok","year":"1992","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Algebraic semantics for universal Horn logic without equality\u2019, in J.D.H. Smith and A. Romanowska, eds. Universal Algebra and Quasigroup Theory (Proc. Conf. Jadwisin, Poland, May 23\u201328, 1989), Research and Exposition in Mathematics, Vol. 19, Heldermann Verlag, Berlin, 1992, pp. 1-56."},{"key":"5139787_CR6","series-title":"Lecture Notes in Pure and Applied Mathematics","first-page":"167","volume-title":"Models, Algebras and Proofs","author":"W. J. Blok","year":"1999","unstructured":"Blok, W. J., and J. G. Raftery, \u2018Ideals in quasivarieties of algebras\u2019, in X. Caicedo and C.H. Montenegro, (eds.), Models, Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics, Vol. 203, Marcel Dekker, New York, 1999, pp. 167-186."},{"key":"5139787_CR7","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981."},{"key":"5139787_CR8","first-page":"187","volume":"31","author":"B. Cs\u00c1kany","year":"1970","unstructured":"Cs\u00c1kany, B., \u2018Characterizations of regular varieties\u2019, Acta Sci. Math. (Szeged) 31 (1970), 187-189.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"5139787_CR9","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BF01190258","volume":"27","author":"J. Czelakowski","year":"1990","unstructured":"Czelakowski, J., and W. Dziobiak, \u2018Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class\u2019, Algebra Universalis 27 (1990), 128-149.","journal-title":"Algebra Universalis"},{"key":"5139787_CR10","first-page":"39","volume":"51","author":"B. A. Davey","year":"1987","unstructured":"Davey, B. A., and K. R. Miles, V. J. Schumann, \u2018Quasi-identities, Mal'cev conditions and congruence regularity\u2019, Acta Sci. Math. (Szeged) 51 (1987), 39-55.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"5139787_CR11","first-page":"29","volume":"46","author":"J. Duda","year":"1983","unstructured":"Duda, J., \u2018Mal'cev conditions for regular and weakly regular subalgebras of the square\u2019, Acta Sci. Math. (Szeged) 46 (1983), 29-34.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"5139787_CR12","first-page":"39","volume":"26","author":"J. Duda","year":"1983","unstructured":"Duda, J., \u2018On two schemes applied to Mal'cev type theorems\u2019, Annales Universitatis Scientiarum Budapestiensis. Sectio Mathematica 26 (1983), 39-45.","journal-title":"Annales Universitatis Scientiarum Budapestiensis. Sectio Mathematica"},{"issue":"112","key":"5139787_CR13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.21136\/CMJ.1987.102149","volume":"37","author":"J. Duda","year":"1987","unstructured":"Duda, J., \u2018Arithmeticity at 0\u2019, Czechoslovak Math. J. 37(112) (1987), 197-206.","journal-title":"Czechoslovak Math. J."},{"key":"5139787_CR14","first-page":"329","volume":"51","author":"J. Duda","year":"1987","unstructured":"Duda, J., \u2018Mal'cev conditions for varieties of subregular algebras\u2019, Acta Sci. Math. (Szeged) 51 (1987), 329-334.","journal-title":"Acta Sci. Math. (Szeged)"},{"issue":"114","key":"5139787_CR15","doi-asserted-by":"crossref","first-page":"711","DOI":"10.21136\/CMJ.1989.102348","volume":"39","author":"J. Duda","year":"1989","unstructured":"Duda, J., \u2018Coherence in varieties of algebras\u2019, Czechoslovak Math. J. 39(114) (1989), 711-716.","journal-title":"Czechoslovak Math. J."},{"issue":"117","key":"5139787_CR16","first-page":"445","volume":"75","author":"K. Fichtner","year":"1968","unstructured":"Fichtner, K., \u2018Varieties of universal algebras with ideals\u2019 (Russian), Mat. Sbornik 75(117) (1968), 445-453.","journal-title":"Mat. Sbornik"},{"key":"5139787_CR17","first-page":"21","volume":"12","author":"K. Fichtner","year":"1970","unstructured":"Fichtner, K., \u2018Eine Bemerkung \u00fcber Mannigfaltigkeiten universeller Algebren mit Idealen\u2019, Monatsch. d. deutsch. Akad. d. Wiss. (Berlin) 12 (1970), 21-25.","journal-title":"Monatsch. d. deutsch. Akad. d. Wiss. (Berlin)"},{"key":"5139787_CR18","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1016\/S0021-9800(70)80086-2","volume":"8","author":"G. Gr\u00c4tzer","year":"1970","unstructured":"Gr\u00c4tzer, G., \u2018Two Mal'cev type theorems in universal algebra\u2019, J. Combinatorial Theory 8 (1970), 334-342.","journal-title":"J. Combinatorial Theory"},{"key":"5139787_CR19","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/malq.19920380131","volume":"38","author":"B. Herrmann","year":"1992","unstructured":"Herrmann, B., and W. Rautenberg, \u2018Finite replacement and finite Hilbert-style axiomatizability\u2019, Z. Math. Logik Grundlagen Math. 38 (1992), 327-344.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"5139787_CR20","first-page":"69","volume":"29","author":"D. Higgs","year":"1984","unstructured":"Higgs, D., \u2018Dually residuated commutative monoids with identity element as least element do not form an equational class\u2019, Math. Japonica 29 (1984), 69-75.","journal-title":"Math. Japonica"},{"issue":"35","key":"5139787_CR21","first-page":"3","volume":"77","author":"A. I. Mal'cev","year":"1954","unstructured":"Mal'cev, A. I., \u2018On the general theory of algebraic systems\u2019 (Russian), Mat. Sb. 77(35) (1954), 3-20.","journal-title":"Mat. Sb."},{"key":"5139787_CR22","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, \u2018Logics without the contraction rule\u2019, J. Symbolic Logic 50 (1985), 169-202.","journal-title":"J. Symbolic Logic"},{"key":"5139787_CR23","unstructured":"Pigozzi, D., \u2018Fregean algebraic logic\u2019, in H. Andr\u00e9ka, J.D. Monk and I. N\u00e9meti, eds. Algebraic Logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai 54, Budapest (Hungary), 1988, 473-502."},{"key":"5139787_CR24","first-page":"29","volume":"46","author":"J. G. Raftery","year":"1997","unstructured":"Raftery, J. G., and C. J. Van Alten, \u2018On the algebra of noncommutative residuation: polrims and left residuation algebras\u2019, Math. Japonica 46 (1997), 29-46.","journal-title":"Math. Japonica"},{"key":"5139787_CR25","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BF01236518","volume":"31","author":"A. Ursini","year":"1994","unstructured":"Ursini, A., \u2018On subtractive varieties I\u2019, Algebra Universalis 31 (1994), 204-222.","journal-title":"Algebra Universalis"},{"key":"5139787_CR26","volume-title":"Algebraizing deductive systems","author":"C.J. Van Alten","year":"1995","unstructured":"Van Alten, C.J., Algebraizing deductive systems, M.Sc. Thesis, University of Natal, Pietermaritzburg, 1995."},{"key":"5139787_CR27","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0060213","volume-title":"Kongruenzklassengeometrien","author":"R. Wille","year":"1970","unstructured":"Wille, R., Kongruenzklassengeometrien, Lecture Notes in Mathematics, Volume 113, Springer-Verlag, Berlin-Heidelberg-New York, 1970."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024673906579.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024673906579\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024673906579.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:13:30Z","timestamp":1754630010000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024673906579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["5139787"],"URL":"https:\/\/doi.org\/10.1023\/a:1024673906579","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}