SchoolDescriptionThis school is mainly directed towards Master's students with a background in logic and philosophy, computer science or mathematics. It is also open to PhD students and researchers who would like to learn about linear logic. The goal is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only a basic knowledge of classical logic and of formal proof systems (sequent calculus and natural deduction). The aim is to allow the participants to understand, in particular, the motivations and origins of linear logic, its logical connectives, sequent calculus, proofnets, semantics, relationships with intuitionistic and classical logic etc. The lectures will be given in English. The presented material will allow the participants to follow the workshops organized on the following days. Speakers and MaterialLocalizationThe school will take place in amphi Huvelin de l'Université Lyon 3. ProgramPrerequisitesWe strongly suggest some practice on sequent calculus using the online interactive tutorial. Content

Online user: 1  RSS Feed 