Séminaire Linguistique Informatique




20 septembre 2010

Michele Abrusci

TITRE: Syllogismes et logique linéaire

Par la logique linéaire et en particulier par la théorie des réseaux de preuve, on découvre les propriétés géométriques de la théorie des syllogismes d'Aristote, la premi¸re théorie logique.