Deux définitions des algèbres de Heyting trivalentes involutives

Becchio, Denise

Publications du Département de mathématiques (Lyon), Volume 15 (1978) p. 39-44

Sur l'axiome d'Ivo Thomas

Becchio, Denise

Publications du Département de mathématiques (Lyon), Volume 15 (1978) p. 45-49

Logique trivalente de Lukasiewicz

Becchio, Denise

Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 66 (1978) p. 33-83

Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz

Becchio, Denise

Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) p. 55-73