Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic

Add to your list(s) Download to your calendar using vCal

• Luc Pellissier, IRIF, Université Paris Diderot
• Friday 08 March 2019, 11:00-12:00
• Computer Science, The Sloman Lounge (UG).

If you have a question about this talk, please contact Noam Zeilberger.

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

In this ongoing work, we show how linear logic fits in this picture: we present a notion of model of intuitionistic linear logic in which sits both syntactic models and a localized phase semantics ; and show how to transform such a model into an algebra allowing to interpret faithfully all the connectives of classical linear logic.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Science, The Sloman Lounge (UG)
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.