Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 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},
     pages = {55--73},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     mrnumber = {460066},
     zbl = {0355.02012},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1976__60_13_55_0/}
}
TY  - JOUR
AU  - Becchio, Denise
TI  - Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1976
SP  - 55
EP  - 73
VL  - 60
IS  - 13
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1976__60_13_55_0/
LA  - fr
ID  - ASCFM_1976__60_13_55_0
ER  - 
%0 Journal Article
%A Becchio, Denise
%T Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 55-73
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1976__60_13_55_0/
%G fr
%F 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, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 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

(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

(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

(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

(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 | Zbl

(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 | Zbl

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