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
Cet article a éte moissonné depuis la source Numdam
@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
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/