1. C. C. Chang. Algebraic analysis of many-valued logic. Transactions of the American Mathematical Society, 88, 467–490, 1958.
2. C. C. Chang. A new proof of the completeness of the Lukasiewicz axioms. Transactions of the American Mathematical Society, 93, 74— 80, 1959.
3. R. Cignoli. Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n-valued propositional calculi. Studia Logica, 41, 3–16, 1982.
4. J. M. Font, A. J. Rodrigues and A. Torrens. Wajsberg algebras. Stochastica, 3, 5–31, 1984.
5. K. Gödel. Zum intuitionistischen Auussagenkalkül. Ergebnisse eines mathematischen Kolloquiums, 4, 40, 1931/2, published 1933.