quarta-feira, 19 de maio de 2010

Seminaire "Logiques en format polynomial" (W. Carnielli)

Vendredi 21 mai a 14h  :

Walter Carnielli, U. Campinas, Centre de Logique, Epistemologie et
Histoire des Sciences (CLE) et Departement de Philosophie : "Logiques en
format polynomial"

RESUME : Nous allons montrer que beaucoup de logiques peuvent etre
exprimées en format polynomial avec des coefficients sur les corps de
Galois finis. Cela s'applique a tous les logiques multi-valués finis
ainsi qu'aux logiques paraconsistantes, beaucoup de logiques modales et
un certain fragment de la logique du premier ordre. On obtient ainsi un
nouveau mode de calcul avec des propriétés intéressantes.


Nenhum comentário: