| Title:
|
Sur le premier système de Lukasiewicz (French) |
| Title:
|
On the first system of Lukasiewicz (English) |
| Author:
|
Sade, A. |
| Language:
|
French |
| Journal:
|
Archivum Mathematicum |
| ISSN:
|
0044-8753 (print) |
| ISSN:
|
1212-5059 (online) |
| Volume:
|
5 |
| Issue:
|
4 |
| Year:
|
1969 |
| Pages:
|
207-214 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B05 |
| MSC:
|
03B50 |
| idZBL:
|
Zbl 0256.02010 |
| idMR:
|
MR0281587 |
| . |
| Date available:
|
2008-06-05T18:10:27Z |
| Last updated:
|
2012-05-09 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/104702 |
| . |
| Reference:
|
[1] Y. Arai: On axiom Systems of Propositional Calculi, II.Proc. Japan Acad. 41, (1965), N° 98, pp. 440-442. Zbl 0223.02008, MR 0184843 |
| Reference:
|
[2] E. Catalan: Addition à une note sur une équation aux différences finies.Journ. Math. pures appl. 4, (1839), 95-99. |
| Reference:
|
[3] Y. Imai K. Iseki: On axiom Systems of Propositional Calculi, I.Proc. Japan Acad. 41, (1965), N° 97, 436-439. MR 0184842 |
| Reference:
|
[4] Jan Lukasiewicz: Elementy logiki matematycznei.Warszawa-Oxford (1963). |
| Reference:
|
[5] P. S. Novikov: Elementi Matematicheskoi Logiki.Moscou (1959). MR 0114746 |
| Reference:
|
[6] A. N. Prior: Formal Logic.Oxford, (1963). MR 0074344 |
| Reference:
|
[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. Zbl 0174.01103, MR 0252192 |
| Reference:
|
[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. Zbl 0175.26401, MR 0250853 |
| Reference:
|
[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. Zbl 0169.29801, MR 0290931 |
| Reference:
|
[10] J. Slupecki: Le calcul complet des propositions à 3 valeurs logiques.Ann. Univ. Maria Curie Sklodowska, Sect. F. 1, (1949), 193-209. MR 0025415 |
| Reference:
|
[11] A. Weil: Calcul des probabilités, méthode axiomatique.Rev. Sci. 78 (1940), 201-208. Zbl 0063.08196, MR 0002031 |
| . |
