References
Blok, W. J. andPigozzi, D.,Algebraizable logics, Memoirs AMS No. 396, 1989.
Graczyńska, E., Kelly, D. andWinkler, P.,On the regular part of varieties of algebras, Algebra Universalis23 (1986), 77–84.
Grätzer, G., Lakser, H. andPłonka, J.,Joins and direct products of equational classes, Can. Math. Bull.12 (1989), 741–744.
Herrmann, B. andRautenberg, W.,Axiomatization of the De Morgan type rules, to appear in Studia Logica49 (1990).
Knoebel, R. A.,Products of independent varieties with finitely generated identities, Algebra Universalis3 (1973), 147–151.
Lyndon, R. C.,Identies in 2-valued calculi, TAMS71 (1951), 457–465.
Melnik, I. I.,Normal closures of perfect varieties of universal algebras (in Russian), Ordered sets and Lattices1 (1971), 56–65.
Perkins, P.,Bases for equational theories of semigroups, Journal Algebra11 (1969) 298–314.
Rautenberg, W.,Axiomatization of semigroup consequences, Archive for Math. Logic29 (1989), 111–123.
Rautenberg, W.,Axiomatizing logics of algebraic matrice varieties, to appear in Studia Logica (Special Issue on Algebraic Logic).
Wroński, A.,A 3-valued matrix whose consequence is not finitely based, Bull. Sec. Logic8 (1979), 68–71.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rautenberg, W. Strongly finitely based equational theories. Algebra Universalis 28, 549–558 (1991). https://doi.org/10.1007/BF01195863
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01195863