Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Annales scientifiques de l'Université de Clermont. Mathématiques (1976)
- Volume: 60, Issue: 13, page 55-73
- ISSN: 0249-7042
Access Full Article
top
How to cite
topBecchio, Denise. "Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz." Annales scientifiques de l'Université de Clermont. Mathématiques 60.13 (1976): 55-73. <http://eudml.org/doc/80437>.
@article{Becchio1976,
author = {Becchio, Denise},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {fre},
number = {13},
pages = {55-73},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz},
url = {http://eudml.org/doc/80437},
volume = {60},
year = {1976},
}
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
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 60
IS - 13
SP - 55
EP - 73
LA - fre
UR - http://eudml.org/doc/80437
ER -
References
top- (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) Warszawa1918.
- (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. MR218199
- (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. MR218199
- (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. JFM57.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. MR218199
- (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. Zbl0165.30903MR224438
- (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. Zbl0309.02017MR233691
- (9) D. Becchio, Logique trivalente de Lukasiewicz. A paraître dans les Annales scientifiques de l'Université de Clermont-Ferrand. Zbl0414.03013
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.