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  -