Linear Implicative Algebras, towards a BHK interpretation of linear logic

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :


Date(s) - 29/11/2018
11 h 00 min - 12 h 30 min


Implicative Algebras were recently introduced as a unified framework for forcing and realisability, whose particularity is to interpret terms and formulæ uniformly.

In this ongoing work with Alexandre Miquel, we show how linear logic fits in this picture.

Retour en haut 

Secured By miniOrange