Mercredi 27 Mai

Retour à la vue des calendrier
Mercredi 27 Mai
Heure: 14:00 - 16:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Logics via algebras and substitutions
Description: Antonino Salibra In this talk we present a translation of formulas and models of classical and non-classical logics
into factor algebras. The correspondence:
Propositional variables --- operator of decompositions
Logical operations --- substitutions
Formulas --- algebraic terms
Models --- factor algebras,
provides a uniform calculus of provability for all the logics which admit the translation.
Many examples will be discussed:
classical logic, intuitionistic logic, linear logic, many-valued logics.