Algebraic analysis of many valued logics

Birkhoff, Garrett, 1948, Lattice Theory

Chang, C. C., 1958, Proof of an axiom of Łukasiewicz, Trans. Amer. Math. Soc., 87, 55, 10.2307/1993085

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.

Meredith, C. A., 1958, The dependence of an axiom of Łukasiewicz, Trans. Amer. Math. Soc., 87, 54, 10.2307/1993084

Rose, Alan, 1958, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc., 87, 1, 10.2307/1993083

Stone, M. H., 1936, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc., 40, 37, 10.2307/1989664

Tarski, Alfred, 1954, Contributions to the theory of models. I, Nederl. Akad. Wetensch. Proc. Ser. A., 57, 572, 10.1016/S1385-7258(54)50074-0

Wajsberg, M., 1935, Beiträge zum Metaaussagenkalkül I, Monatsh. Math. Phys., 42, 221, 10.1007/BF01733295