Workshop: Linear logic and philosophy


It will address some of the philosophical issues raised by linear logic such as the computational foundations of logic, the problem of proof representation, and the interface between logic and physics.


The workshop will take place in amphi Huvelin de l'Université Lyon 3.

Invited speakers

  • Jean-Baptiste Joinet (Lyon - France)
  • Jean-Yves Girard (Marseille - France)
  • Mitsu Okada (Tokyo - Japan)
  • Mattia Petrolo (Paris - France)
  • Paolo Pistone (Marseille - France)
Online user: 1 RSS Feed