@article{ARM_1969_5_4_a6,
author = {Sade, A.},
title = {Sur le premier syst\`eme de {Lukasiewicz}},
journal = {Archivum mathematicum},
pages = {207--214},
year = {1969},
volume = {5},
number = {4},
mrnumber = {0281587},
zbl = {0256.02010},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ARM_1969_5_4_a6/}
}
Sade, A. Sur le premier système de Lukasiewicz. Archivum mathematicum, Tome 5 (1969) no. 4, pp. 207-214. http://geodesic.mathdoc.fr/item/ARM_1969_5_4_a6/
[1] Y. Arai: On axiom Systems of Propositional Calculi, II. Proc. Japan Acad. 41, (1965), N° 98, pp. 440-442. | MR | Zbl
[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
[4] Jan Lukasiewicz: Elementy logiki matematycznei. Warszawa-Oxford (1963).
[5] P. S. Novikov: Elementi Matematicheskoi Logiki. Moscou (1959). | MR
[6] A. N. Prior: Formal Logic. Oxford, (1963). | MR
[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 | Zbl
[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 | Zbl
[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 | Zbl
[10] J. Slupecki: Le calcul complet des propositions à 3 valeurs logiques. Ann. Univ. Maria Curie Sklodowska, Sect. F. 1, (1949), 193-209. | MR
[11] A. Weil: Calcul des probabilités, méthode axiomatique. Rev. Sci. 78 (1940), 201-208. | MR | Zbl