[1] E. L. Post: Introduction to a General Theory of Elementary Propositions. American Journal of Mathematics, vol. 43 (1921), 163-185. MR 1506440

[2] J. Łukasiewicz: Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls. Comptes rendus des séances de la Socièté des Sciences et des Lettres de Varsovie, Classe III, vol. 23 (1930), 51-77.

[3] J. Słupecki: Der volle dreiwertige Aussagenkalkül. Comptes rendus des seances de la Socièté des Sciences et des Lettres de Varsovie, Classe III, vol. 29 (1936), 9-11.

[4] J. Słupecki: Pełny trójwartościowy rachunek zdań. Annales Univ. M. Curie-Skłodowska (Lublin), vol., 1, no. 3, Sect. F (1946), 193-209.

[5] M. Mleziva: Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls. Rozpravy ČSAV, řada společenských věd, 1959, seš. 12.

[6] J. Łukasiewicz: The Shortest Axiom of the Implicational Calculus of Propositions. Proc. of the Royal Irish Acad.,, Vol. 52, Sect. A, No. 3, 25-33. MR 0026017