Deux définitions des algèbres de Heyting trivalentes involutives Denise Becchio — 1978 Publications du Département de mathématiques (Lyon)
Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz Denise Becchio — 1976 Annales scientifiques de l'Université de Clermont. Mathématiques
Logique trivalente de Lukasiewicz Denise Becchio — 1978 Annales scientifiques de l'Université de Clermont. Mathématiques