Un formalisme pour réduire la taille des preuves

Carte non disponible

Date/heure
Date(s) - 20/11/2014
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


La deep inference est un formalisme des preuves généralisant le calcul des séquents. Il permet d’exprimer plus de logiques d’une façon plus compacte. Je passerai en revue ses principales propriétés aux travers de la logique BV, la logique classique et les atomic flows. J’aborderai également les récentes tentatives de définir la substitution d’un atome par une dérivation en deep inference.

[http://www.bath.ac.uk/comp-sci/research/mathematical-foundations/]

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange