References
Blok, W. J., and D. Pigozzi, Algebraizable Logics, Mem. Amer. Math. Soc. 396, Amer. Math. Soc., 1989.
Budkin, A. I., ‘Quasivarieties of Groups’, Izd. Alta\(\mathop 1\limits^ \vee\)sk. Gos. Univ., 2002.
Clark, D. M., and B. A. Davey, ‘Natural Dualities for the Working Algebraist’, Cambridge Studies in Advanced Mathematics 57, Cambridge University Press, 1998.
Czelakowski, J., ‘Protoalgebraic Logics’, Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, 2001.
Gorbunov, V. A., ‘Algebraic Theory of Quasivarieties’, Siberian School of Algebra and Logic, Consultants Bureau, 1998.
Gorbunov, V. A., and A. V. Kravchenko, ‘Antivarieties and colour-families of graphs’, Algebra Universalis 46:43–67, 2001.
Kharlampovich, O., and M. V. Sapir, ‘Algorithmic problems in varieties’, Internat. J. Algebra Comput. 5:379–602, 1995.
Kozen, D., ‘On the complexity of reasoning in Kleene algebra’, Inform. and Comput. 179: 152–162, 2002.
Maltsev, A. I., ‘Some borderline problems of algebra and logic’, in: Proc. Internat. Congr. Math. (Moscow, 1966), 217–231, Mir, 1968.
Maltsev, A. I., ‘Algebraic Systems’, Springer Verlag, 1973.
McKenzie, R., ‘Tarski’s finite basis problem is undecidable’, Internat. J. Algebra Comput. 6:49–104, 1996.
Pigozzi, D., ‘Finite basis theorem for relatively congruence distributive quasivarieties’, Trans. Amer. Math. Soc. 310:499–533, 1988.
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.
Wójcicki, R., ‘Theory of Logical Calculi. Basic Theory of Consequence Operations’, Kluwer Academic Publishers, 1988.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Adams, M.E., Adaricheva, K.V., Dziobiak, W. et al. From the editors. Stud Logica 78, 3–5 (2004). https://doi.org/10.1007/s11225-005-3005-0
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-3005-0