• [1] Garrett Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, revised edition, American Mathematical Society, New York, N. Y., 1948. MR 0029876 (10,673a)
• [2] C. C. Chang, Proof of an axiom of Łukasiewicz, Trans. Amer. Math. Soc. 87 (1958), 55–56. MR 0094301 (20 #820), http://dx.doi.org/10.1090/S0002-9947-1958-0094301-7
• [3] J. Łukasiewicz and A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 23 (1930) pp. 30-50.
• [4] C. A. Meredith, The dependence of an axiom of Łukasiewicz, Trans. Amer. Math. Soc. 87 (1958), 54. MR 0094300 (20 #819), http://dx.doi.org/10.1090/S0002-9947-1958-0094300-5
• [5] Alan Rose and J. Barkley Rosser, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc. 87 (1958), 1–53. MR 0094299 (20 #818), http://dx.doi.org/10.1090/S0002-9947-1958-0094299-1
• [6] 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
• [7] Alfred Tarski, Contributions to the theory of models. I, Nederl. Akad. Wetensch. Proc. Ser. A. 57 (1954), 572–581 = Indagationes Math. 16, 572–581 (1954). MR 0066301 (16,554f)
• [8] 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]

G. Birkhoff, Lattice theory, Rev. ed., 1948. MR 0029876 (10:673a)

[2]

C. C. Chang, Proof of an axiom of Łukasiewicz, Trans. Amer. Math. Soc. vol. 87 (1958) pp. 55-56. MR 0094301 (20:820)

[3]

J. Łukasiewicz and A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 23 (1930) pp. 30-50.

[4]

C. A. Meredith, The dependence of an axiom of Ł ukasiewicz, Trans. Amer. Math. Soc. vol. 87 (1958) p. 54. MR 0094300 (20:819)

[5]

A. Rose and J. B. Rosser, Fragments of many valued statement calculi, Trans. Amer. Math. Soc. vol. 87 (1958) pp. 1-53. MR 0094299 (20:818)

[6]

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

[7]

A. Tarski, Contributions to the theory of models I, Indag. Math. vol. 16 (1954) pp. 572-581. MR 0066301 (16:554f)

[8]

M. Wajsberg, Beiträge zum Metaaussagenkalkül I, Monatshefte für Mathematik und Physik vol. 42 (1935) pp. 221-242. MR 1550430