1. J. Łukasiewicz, A. Tarski: Untersuchungen über den Aussagenkalkül, c.r. Séances Soc. Sci. Lett. Vars. cl. III 23, 30–50 (1930)
2. K. Gödel: Zum intuitionistischen Aussagenkalkül, Anz. Akad. Wiss. Wien: Math.-naturwiss. Kl. 69, 65–66 (1932)
3. P. Hájek, L. Godo, F. Esteva: A complete many-valued logic with product-conjunction, Arch. Math. Log. 35, 191–208 (1996)
4. E.L. Post: Introduction to a general theory of elementary propositions, Am. J. Math. 43, 163–185 (1921)
5. Studies in Logic and Computation;S. Gottwald,2001