Logique trivalente de Lukasiewicz. (French)
Ann. Sci. Univ. Clermont 66, Math. 16, 33-83 (1978).
1
Sur une définition des algèbres de Lukasiewicz et de Post d’ordre n. (French)
Demonstr. Math. 11, 1083-1094 (1978).
2
Calcul des séquents et deduction naturelle pour la logique trivalente de Lukasiewicz. (French)
Ann. Sci. Univ. Clermont 60, Math. 13 (Actes Semin. int. Ete Logique, Clermont-Ferrand 15-26 Juillet 1975), 55-73 (1976).
3
Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. (French)
Logique Anal., Nouv. Sér. 16, 339-344 (1973).
4
Nouvelle demonstration de la completude du système de Wajsberg axiomatisant la logique trivalente de Lukasiewicz. (French)
C. R. Acad. Sci., Paris, Sér. A 275, 679-682 (1972).
5
Start
Contact
Print
General Help
