Sur le premier système de Lukasiewicz
Sade, Albert
Archivum Mathematicum, Tome 005 (1969), p. 207-214 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1969-01-01
Classification:  03B05,  03B50 
@article{104702,
     author = {Albert Sade},
     title = {Sur le premier syst\`eme de Lukasiewicz},
     journal = {Archivum Mathematicum},
     volume = {005},
     year = {1969},
     pages = {207-214},
     zbl = {0256.02010},
     mrnumber = {0281587},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/104702}
}

Sade, Albert. Sur le premier système de Lukasiewicz. Archivum Mathematicum, Tome 005 (1969) pp. 207-214. http://gdmltest.u-ga.fr/item/104702/

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

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

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

Jan Lukasiewicz Elementy logiki matematycznei, Warszawa-Oxford (1963). (1963)

P. S. Novikov Elementi Matematicheskoi Logiki, Moscou (1959). (1959) | MR 0114746

A. N. Prior Formal Logic, Oxford, (1963). (1963) | MR 0074344

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. (1969) | MR 0252192 | Zbl 0174.01103

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. (1969) | MR 0250853 | Zbl 0175.26401

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. (1970) | MR 0290931 | Zbl 0169.29801

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

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