1. Balbes, R., and P. Dwinger, Distributive Lattices, Univ. of Missouri Press, 1974.
2. Biallynicki-Birula, A., and H. Rasiowa, ‘On constructive falsity in the constructive logic with strong negation’, Colloq. Math., 6:287–310, 1958.
3. Boicescu, V., A. Filipoiu, G. Georgescu, and S. Rudeanu, Eukasiewicz-Moisil Algebras, North-Holland, 1991.
4. Chang, C. C., ‘Algebraic analysis of many-valued logics’, Trans. Amer. Math. Soc., 88:467–490, 1958.
5. Chang, C. C., ‘A new proof of the completeness of Lukasiewicz axioms’, Trans. Amer. Math. Soc., 93:74–90, 1959.