-
14h00 : Intuitionistic Logic and Proof methods
- Nicola Olivetti
professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie)
Résumé :
Nicola Olivetti est actuellement professeur au Département d'Informatique et membre du Logic Programming and Automated Reasoning Group de l'Université de Turin (Italie). Il est aussi membre de plusieurs comités prestigieux comme le comité de programme de la conférence internationale TABLEAUX ou le comité éditorial du Journal of Applied Logic. Ses recherches ont trait au RaisonnementNon-monotone et à la Révision des Croyances, à la Déduction Automatique pour les Logiques Non-classiques, ainsi qu'à la Programmation Logique, notamment les extensions reposant sur la logique intuitioniste et la logique des conditionnels. Invité par l'Université de Provence, il sera présent au sein de l'équipe InCA du 15 janvier au 15 février, et en collaboration avec Vincent Risch et Pierre Siegel, s'intéressera à l'apport des formalismes conditionnels aux logiques de description.
Intuitionistic Logic and Proof methods
Nicola Olivetti
University of Torino
Dipartimento di Informatica
Intuitionistic logic is the most important alternative to classical logic and has strong connections with computer science for its constructive interpretation of logic. The purpose of this tutorial is to introduce Intuitionistic and other logics in the neighbors from a proof-theoretical and semantical point of view.
Course Outline:
Intuitionistic logic
- Motivations
- Natural Deduction
- Consequence Relations and Sequent calculi
- Axiomatization
- Kripke semantics
- Intuitionistic, classical, and modal logic
- Horn clauses, logic programming, and goal-directed provability
- Complexity
Sub-Intuitionistic Logics
- Removing structural rules
- Lambek, Relevance and Linear logic
- Axiomatization
- A possible-world semantics
Seminar
- Belief Revision and Conditional Logics
Dates
- Jeudi 29/01 : 14h - 17h, Cours
- Jeudi 05/02 : 14h - 17h, Cours
- Lundi 09/02 : 14h - 16h, Cours
- Jeudi 12/02 : 14h - 16h, Séminaire