Linear Logic Winter School / École d'hiver de logique linéaire

Collection Linear Logic Winter School / École d'hiver de logique linéaire

Organizer(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
linked URL https://conferences.cirm-math.fr/2685.html
00:00:00 / 00:00:00
6 6

Differential linear logic extended to differential operators

By Marie Kerjean

Differential Linear Logic adds to the linear logic the possibility to linearize non-linear proofs. We show how that accounts for the resolution of a differential equation, and extend differential linear logic to linear partial differential equations with constant coefficients. We explain how this result stems from the interpretation of linear logic formulas as reflexive vector spaces.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.19882603
  • Cite this video Kerjean, Marie (28/01/2022). Differential linear logic extended to differential operators. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19882603
  • URL https://dx.doi.org/10.24350/CIRM.V.19882603

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback