Luisa Iturrioz

• Algèbres de Heyting trivalentes involutives
• Many-valued Logics for Computer Science Applications - Final Report
• Modèles logiques et systèmes d'intelligence articielle - [université d'été, Lyon, 6-10 juillet 1987]