Geodesic
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

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
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://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_55_0/
@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},
     year = {1976},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     mrnumber = {460066},
     zbl = {0355.02012},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_55_0/
%G fr
%F ASCFM_1976__60_13_55_0