10 juin 2013

Daniel Leivant (Indiana University Bloomington) 15h30, salle des theses

Les logiques de programmes ne peuvent etre completes dans le sense ou le sont les logiques purs. La completude relative, inventee par Cook, etait le substitut de choix. Et pourtant cette notion a des importantes lacunes.

Commencant par un expose sommaire des logiques en question, nous considererons une approche alternative a la question de completude, inspiree celle-ci par la theorie de la demonstration.