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.