Sur le premier système de Lukasiewicz
Archivum mathematicum, Tome 5 (1969) no. 4, pp. 207-214
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B05, 03B50
@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/}
}
TY  - JOUR
AU  - Sade, A.
TI  - Sur le premier système de Lukasiewicz
JO  - Archivum mathematicum
PY  - 1969
SP  - 207
EP  - 214
VL  - 5
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/ARM_1969_5_4_a6/
LA  - fr
ID  - ARM_1969_5_4_a6
ER  - 
%0 Journal Article
%A Sade, A.
%T Sur le premier système de Lukasiewicz
%J Archivum mathematicum
%D 1969
%P 207-214
%V 5
%N 4
%U http://geodesic.mathdoc.fr/item/ARM_1969_5_4_a6/
%G fr
%F 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