Equational Logic and Equational Theories of Algebras

[1]  Equational classes of modular lattices , 1969 .

[2]  Sheila Oates,et al.  Identical Relations in Groups , 1963 .

[3]  A. Austin.  A CLOSED SET OF LAWS WHICH IS NOT GENERATED BY A FINITE SET OF LAWS , 1966 .

[4]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[5]  M. Powell,et al.  Identical relations in finite groups , 1964 .

[6]  Emil L. Post.  The two-valued iterative systems of mathematical logic , 1942 .

[7]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[8]  Eugene Jacobs,et al.  The Lattice of Equational Classes of Algebras with One Unary Operation , 1964 .

[9]  Alfred Tarski,et al.  Equationally Complete Rings and Relation Algebras , 1956 .

[10]  G. Grätzer.  Equational classes of lattices , 1966 .

[11]  Donald Monk,et al.  On Equational Classes of Algebraic Versions of Logic I. , 1970 .

[12]  Trevor Evans,et al.  The lattice of semigroup varieties , 1971 .

[13]  I. S. Gradshtein,et al.  THE ELEMENTS OF MATHEMATICAL LOGIC , 1963 .

[14]  A. Ol'šanskiĭ.  ON THE PROBLEM OF A FINITE BASIS OF IDENTITIES IN GROUPS , 1970 .

[15]  Ralph McKenzie.  Equational Bases for Lattice Theories. , 1970 .

[16]  Jan Kalicki.  The number of equationally complete classes of equations , 1955 .

[17]  K. B. Lee,et al.  Equational Classes of Distributive Pseudo-Complemented Lattices , 1970, Canadian Journal of Mathematics.

[18]  THE LATTICE OF CLOSED SETS OF COMMUTATIVE SEMIGROUP EQUATIONS , 1966 .

[19]  Stanley Burris,et al.  Embedding the dual ofΠ∞ in the lattice of equational classes of semigroups , 1971 .

[20]  T. Evans,et al.  On Varieties of Groupoids and Loops , 1953 .

[21]  G. Birkhoff.  Subdirect unions in universal algebra , 1944 .

[22]  R. McKenzie.  Equational bases and nonmodular lattice varieties , 1972 .

[23]  T. Tamura.  Attainability of systems of identities on semigroups , 1966 .

[24]  W. Magnus,et al.  Combinatorial Group Theory: COMBINATORIAL GROUP THEORY , 1967 .

[25]  K. A. Baker.  Equational axioms for classes of lattices , 1971 .

[26]  Ralph McKenzie,et al.  Definability in lattices of equational theoris , 1971 .

[27]  Naoki Kimura.  Note on idempotent semigroups, IV, Identities of three variables , 1958 .

[28]  R. Pierce.  Introduction to the Theory of Abstract Algebras , 1968 .

[29]  E. Nelson.  The Lattice of Equational Classes of Commutative Semigroups , 1971, Canadian Journal of Mathematics.

[30]  J. Gerhard,et al.  The lattice of equational classes of idempotent semigroups , 1970 .

[31]  M. Vaughan-Lee.  Uncountably many Varieties of Groups , 1970 .