Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, p. 55-73
@article{ASCFM_1976__60_13_55_0,
     author = {Becchio, Denise},
     title = {Calcul des s\'equents et d\'eduction naturelle pour la logique trivalente de Lukasiewicz},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     pages = {55-73},
     zbl = {0355.02012},
     mrnumber = {460066},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1976__60_13_55_0}
}
Becchio, Denise. Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz. Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, pp. 55-73. http://www.numdam.org/item/ASCFM_1976__60_13_55_0/

(1) Gr. C. Moisil, La logique mathématique pure et appliquée en R.S. de Roumanie, XIIIe Congrès international d'histoire des Sciences, Moscou, 18-24 août 1971.

(2) J. Lukasiewicz, Treść wykladn pozegnalnego wygłoszonego w sali Universytetu Warszawskiego dnia 7 marca 1918 (Leçon d'adieu prononcée dans la salle de l'Université de Varsovie le 7 mars 1918) Warszawa 1918.

(3) J. Lukasiewicz, O projeciu mozlinosci, R. F. 5,1919,1920, p. 169-170, traduit par H. Hiz dans Polish Logic, 1920- 1939, édité par Storrs Mc Call, Clarendon Press, 1967, p.15. | MR 218199

(4) J. Lukasiewicz, 0 logice trójwartościowej, R. F. 5,1920, p. 170,171, traduit par H. Hiz dans Polish Logic, 1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p. 16, traduit par O. Wojtasiewicz dans Jan Lukasiewicz selected works, édité par Borkowski, North Holland, 1970, p. 87-88. | MR 218199

(5) J. Łukasiewicz, Philosophishe Bernerkungen zu mehrwertigen Systemen das Aussagenkalküls, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 1930, p. 51-77, traduit par H. Weber dans Polish Logic, 1920-1939, édité par Storrs Mc Call, Clarendon Press, 1967, p. 40-65. | JFM 57.1319.02

(6) M. Wajsberg, Aksjomatyzacja trojwartosciowego rachunku zdan, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, CI. III, 24, 1931, p. 126-145, traduit par B. Gruchman et S. Mc. Call dans Polish Logic, 1920-1939, Clarendon Press, 1967, p. 264-284. | MR 218199

(7) A. Monteiro, Construction des algèbres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques I. Math. Japon. 12,1967, p. 1-23. | MR 224438 | Zbl 0165.30903

(8) J. Slupecki, G. Bryll et T. Prucnal, Some remarks on three-valued logic of J. Lukasiewicz, Studia Logica, tome 21,1967, p. 1-26. | MR 233691 | Zbl 0309.02017

(9) D. Becchio, Logique trivalente de Lukasiewicz. A paraître dans les Annales scientifiques de l'Université de Clermont-Ferrand. | Numdam | Zbl 0414.03013