Abstract
Relatively congruence regular quasivarieties and quasivarieties of logic have noticeable similarities. The paper provides a unifying framework for them which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of terms and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. On the other hand, a class of ‘membership logics’ is obtained when the variable is the only element of the set of terms. For these systems the appropriate variant of equivalent algebraic semantics encompasses the relatively congruence regular quasivarieties.
Similar content being viewed by others
References
Barbour, G. D., and J.G. Raftery, ‘On the degrees of permutability of subregular varieties’, Czechoslovak Math. J. 47(122) (1997), 317-325.
Blok, W. J., and D. Pigozzi, ‘Protoalgebraic logics’, Studia Logica 45 (1986), 337-369.
Blok, W. J., and D. Pigozzi, ‘Local deduction theorems in algebraic logic’, in H. Andréka, J.D. Monk and I. Németi, (eds.), Algebraic Logic, Colloquia Mathematica Societatis János Bolyai 54, Budapest (Hungary), 1988, 75-109.
Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.
Blok, W. J., and D. Pigozzi, ‘Algebraic semantics for universal Horn logic without equality’, in J.D.H. Smith and A. Romanowska, eds. Universal Algebra and Quasigroup Theory (Proc. Conf. Jadwisin, Poland, May 23–28, 1989), Research and Exposition in Mathematics, Vol. 19, Heldermann Verlag, Berlin, 1992, pp. 1-56.
Blok, W. J., and J. G. Raftery, ‘Ideals in quasivarieties of algebras’, 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.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.
CsÁkany, B., ‘Characterizations of regular varieties’, Acta Sci. Math. (Szeged) 31 (1970), 187-189.
Czelakowski, J., and W. Dziobiak, ‘Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class’, Algebra Universalis 27 (1990), 128-149.
Davey, B. A., and K. R. Miles, V. J. Schumann, ‘Quasi-identities, Mal'cev conditions and congruence regularity’, Acta Sci. Math. (Szeged) 51 (1987), 39-55.
Duda, J., ‘Mal'cev conditions for regular and weakly regular subalgebras of the square’, Acta Sci. Math. (Szeged) 46 (1983), 29-34.
Duda, J., ‘On two schemes applied to Mal'cev type theorems’, Annales Universitatis Scientiarum Budapestiensis. Sectio Mathematica 26 (1983), 39-45.
Duda, J., ‘Arithmeticity at 0’, Czechoslovak Math. J. 37(112) (1987), 197-206.
Duda, J., ‘Mal'cev conditions for varieties of subregular algebras’, Acta Sci. Math. (Szeged) 51 (1987), 329-334.
Duda, J., ‘Coherence in varieties of algebras’, Czechoslovak Math. J. 39(114) (1989), 711-716.
Fichtner, K., ‘Varieties of universal algebras with ideals’ (Russian), Mat. Sbornik 75(117) (1968), 445-453.
Fichtner, K., ‘Eine Bemerkung über Mannigfaltigkeiten universeller Algebren mit Idealen’, Monatsch. d. deutsch. Akad. d. Wiss. (Berlin) 12 (1970), 21-25.
GrÄtzer, G., ‘Two Mal'cev type theorems in universal algebra’, J. Combinatorial Theory 8 (1970), 334-342.
Herrmann, B., and W. Rautenberg, ‘Finite replacement and finite Hilbert-style axiomatizability’, Z. Math. Logik Grundlagen Math. 38 (1992), 327-344.
Higgs, D., ‘Dually residuated commutative monoids with identity element as least element do not form an equational class’, Math. Japonica 29 (1984), 69-75.
Mal'cev, A. I., ‘On the general theory of algebraic systems’ (Russian), Mat. Sb. 77(35) (1954), 3-20.
Ono, H., and Y. Komori, ‘Logics without the contraction rule’, J. Symbolic Logic 50 (1985), 169-202.
Pigozzi, D., ‘Fregean algebraic logic’, in H. Andréka, J.D. Monk and I. Németi, eds. Algebraic Logic, Colloquia Mathematica Societatis János Bolyai 54, Budapest (Hungary), 1988, 473-502.
Raftery, J. G., and C. J. Van Alten, ‘On the algebra of noncommutative residuation: polrims and left residuation algebras’, Math. Japonica 46 (1997), 29-46.
Ursini, A., ‘On subtractive varieties I’, Algebra Universalis 31 (1994), 204-222.
Van Alten, C.J., Algebraizing deductive systems, M.Sc. Thesis, University of Natal, Pietermaritzburg, 1995.
Wille, R., Kongruenzklassengeometrien, Lecture Notes in Mathematics, Volume 113, Springer-Verlag, Berlin-Heidelberg-New York, 1970.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Barbour, G.D., Raftery, J.G. Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization. Studia Logica 74, 99–152 (2003). https://doi.org/10.1023/A:1024673906579
Issue Date:
DOI: https://doi.org/10.1023/A:1024673906579