Institut de Mathématiques de Luminy

Abstract 2002-01

Alexandra Bruasse-Bac.
Second order indexed linear logic.

We present an extension to second order of the indexed linear logic system that was once introduced by Bucciarelli and Ehrhard in 1999-2000. After a brief reminder on the relational model of second order indexed linear logic (defined by the author in [Br,00]), we will present the system LL2(I) and show how it is possible to express through this system definability properties in the relational model of second order indexed linear logic.

 



Last update : january 24, 2002, EL.