• [1] A. S. Amitsur and J. Levitzki, Minimal identities for algebras, Proc. Amer. Math. Soc. 1 (1950), 449–463. MR 0036751 (12,155d), http://dx.doi.org/10.1090/S0002-9939-1950-0036751-9
• [2] G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Philos. Soc. vol. 31 (1935) pp. 433-454.
• [3] -, Lattice theory, Amer. Math. Soc. Colloquium Publications, vol. 25, Rev. ed., New York, 1948.
• [4] Leon Henkin, Fragments of the propositional calculus, J. Symbolic Logic 14 (1949), 42–48. MR 0033780 (11,487c)
• [5] Roger C. Lyndon, The representation of relational algebras, Ann. of Math. (2) 51 (1950), 707–729. MR 0037278 (12,237a)
• [6] A. Malcev, On the embedding of associative systems in groups, Mat. Sbornik N.S. vol. 8 (1940) pp. 251-263.
• [7] B. H. Neumann, Identical relations in groups. I, Math. Ann. 114 (1937), no. 1, 506–525. MR 1513153, http://dx.doi.org/10.1007/BF01594191
• [8] Emil L. Post, The Two-Valued Iterative Systems of Mathematical Logic, Annals of Mathematics Studies, no. 5, Princeton University Press, Princeton, N. J., 1941. MR 0004195 (2,337a)
• [9] J. B. Rosser and A. R. Turquette, Axiom schemes for 𝑚-valued propositional calculi, J. Symbolic Logic 10 (1945), 61–82. MR 0013718 (7,185e)
• [10] Wilhelm Specht, Gesetze in Ringen. I, Math. Z. 52 (1950), 557–589 (German). MR 0035274 (11,711i)
• [11] M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, http://dx.doi.org/10.1090/S0002-9947-1936-1501865-8
• [12] Alfred Tarski, A remark on functionally free algebras, Ann. of Math. (2) 47 (1946), 163–165. MR 0015038 (7,360a)
• [13] M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221–242 (German). MR 1550430, http://dx.doi.org/10.1007/BF01733295

Bibliography

[1]

A. S. Amitsur and J. Levitzki, Minimal identities for algebras, Proceedings of the American Mathematical Society vol. 1 (1950) pp. 449-463. MR 0036751 (12:155d)

[2]

G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Philos. Soc. vol. 31 (1935) pp. 433-454.

[3]

-, Lattice theory, Amer. Math. Soc. Colloquium Publications, vol. 25, Rev. ed., New York, 1948.

[4]

L. Henkin, Fragments of the propositional calculus, The Journal of Symbolic Logic vol. 14 (1949) pp. 42-48. MR 0033780 (11:487c)

[5]

R. C. Lyndon, The representation of relational algebras, Ann. of Math. vol. 51 (1950) pp. 707-729. MR 0037278 (12:237a)

[6]

A. Malcev, On the embedding of associative systems in groups, Mat. Sbornik N.S. vol. 8 (1940) pp. 251-263.

[7]

B. H. Neumann, Identical relations in groups, Math. Ann. vol. 114 (1937) pp. 506-525. MR 1513153

[8]

E. Post, Two-valued iterative systems of mathematical logic, Princeton, 1941. MR 0004195 (2:337a)

[9]

J. B. Rosser and A. R. Turquette, Axiom schemes for -valued propositional calculi, The Journal of Symbolic Logic vol. 10 (1945) pp. 61-82. MR 0013718 (7:185e)

[10]

W. Specht, Gesetze in Ringen I, Math. Zeit. vol. 52 (1950) pp. 557-589. MR 0035274 (11:711i)

[11]

M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. vol. 40 (1936) pp. 37-111. MR 1501865

[12]

A. Tarski, A remark on functionally free algebras, Ann. of Math. vol. 47 (1946) pp. 163-165. MR 0015038 (7:360a)

[13]

M. Wajsberg, Beitrage zum Metaaussagenkalkul I, Monatshefte für Mathematik und Physik vol. 42 (1935) pp. 221-242. MR 1550430