%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