[1] Y. Arai: On axiom Systems of Propositional Calculi, II. Proc. Japan Acad. 41, (1965), N° 98, pp. 440-442. MR 0184843 | Zbl 0223.02008

[2] E. Catalan: Addition à une note sur une équation aux différences finies. Journ. Math. pures appl. 4, (1839), 95-99.

[3] Y. Imai K. Iseki: On axiom Systems of Propositional Calculi, I. Proc. Japan Acad. 41, (1965), N° 97, 436-439. MR 0184842

[4] Jan Lukasiewicz: Elementy logiki matematycznei. Warszawa-Oxford (1963).

[5] P. S. Novikov: Elementi Matematicheskoi Logiki. Moscou (1959). MR 0114746

[6] A. N. Prior: Formal Logic. Oxford, (1963). MR 0074344

[7] A. Sade: Morphismes sur le groupoide ternaire des opérateurs propositionnels. Ann. Soc. Sci. Bruxelles, 83, (1969), 19-33, Notices Amer. Math. Soc. 16, (1969), 323, N° 69T-E6. MR 0252192 | Zbl 0174.01103

[8] A. Sade: Fonctions Propositionnelles Monadiques dans la Logique Trivalente. Ann. Soc. Sci. Bruxelles, 83, (1969), pp. 202-213 Notices 16, (1969), 579, N° 69T-E32. MR 0250853 | Zbl 0175.26401

[9] A. Sade: Sur les axiomes de GÖTLIND. Notre-Dame Journal of Formal Logic, XI, (1970), pp. 81.83 88 Notices Amer. Math. Soc. 16, (1969), Aout. 69T-E53, p. 841. MR 0290931 | Zbl 0169.29801

[10] J. Slupecki: Le calcul complet des propositions à 3 valeurs logiques. Ann. Univ. Maria Curie Sklodowska, Sect. F. 1, (1949), 193-209. MR 0025415

[11] A. Weil: Calcul des probabilités, méthode axiomatique. Rev. Sci. 78 (1940), 201-208. MR 0002031 | Zbl 0063.08196