Identities in two-valued calculi
HTML articles powered by AMS MathViewer
- by R. C. Lyndon PDF
- Trans. Amer. Math. Soc. 71 (1951), 457-465 Request permission
References
- A. S. Amitsur and J. Levitzki, Minimal identities for algebras, Proc. Amer. Math. Soc. 1 (1950), 449–463. MR 36751, DOI 10.1090/S0002-9939-1950-0036751-9 G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Philos. Soc. vol. 31 (1935) pp. 433-454. —, Lattice theory, Amer. Math. Soc. Colloquium Publications, vol. 25, Rev. ed., New York, 1948.
- Leon Henkin, Fragments of the propositional calculus, J. Symbolic Logic 14 (1949), 42–48. MR 33780, DOI 10.2307/2268976
- Roger C. Lyndon, The representation of relational algebras, Ann. of Math. (2) 51 (1950), 707–729. MR 37278, DOI 10.2307/1969375 A. Malcev, On the embedding of associative systems in groups, Mat. Sbornik N.S. vol. 8 (1940) pp. 251-263.
- B. H. Neumann, Identical relations in groups. I, Math. Ann. 114 (1937), no. 1, 506–525. MR 1513153, DOI 10.1007/BF01594191
- 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
- J. B. Rosser and A. R. Turquette, Axiom schemes for $m$-valued propositional calculi, J. Symbolic Logic 10 (1945), 61–82. MR 13718, DOI 10.2307/2267026
- Wilhelm Specht, Gesetze in Ringen. I, Math. Z. 52 (1950), 557–589 (German). MR 35274, DOI 10.1007/BF02230710
- M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, DOI 10.1090/S0002-9947-1936-1501865-8
- Alfred Tarski, A remark on functionally free algebras, Ann. of Math. (2) 47 (1946), 163–165. MR 15038, DOI 10.2307/1969039
- M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys. 42 (1935), no. 1, 221–242 (German). MR 1550430, DOI 10.1007/BF01733295
Additional Information
- © Copyright 1951 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 71 (1951), 457-465
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9947-1951-0044470-3
- MathSciNet review: 0044470