Skip to content. | Skip to navigation

Personal tools

Sections

Consider the world interacting

  • Logo CNRS
  • Logo ENSL
  • logo-enssib.jpg
You are here: Home / Agenda / évènements / Journée d'étude | Logique, langage et computation : autour de la logique linéaire et ses interfaces

Journée d'étude | Logique, langage et computation : autour de la logique linéaire et ses interfaces

error while rendering collective.contentleadimage.full
When Nov 06, 2023
from 03:10 to 03:10
Where Espace Marc Bloch / MSH-LSE
Contact Name
Add event to calendar vCal
iCal

Journée interdisciplinaire organisée vendredi 10 novembre par l’Institut de Recherches Philosophiques de Lyon (IRPhiL, Lyon 3), le programme "Computation, Complexité et Types : la Logique Linéaire et ses interfaces" (IXXI & MSH-LSE) et le Laboratoire Junior TheoDem (Théorie de la démonstration, ENS de Lyon).

 

Programme de la journée

  • 09:45-10:45 : Hugo CADIÈRE (IRPHIL, Université Jean Moulin Lyon 3)
    "Inférentialisme et logique linéaire"
  • 10:45-11:45 : Juan-Luis GASTALDI (Institut Turing, Zürich) et John TERILLA (CUNY, New York)
    "Des statistiques à l'algèbre et au-delà : la logique des normes émergentes en langage naturel"
  • Pause
  • 12:00-13:00 : Davide BARBAROSSA (Università di Bologna)
    "Réflexions sur les fondements des mathématiques, à la lumière de l’informatique"
  • Pause déjeuner
  • 14:30-15:30 : Luiz Carlos PEREIRA (UERJ, Departement de Philosophie, Rio de Janeiro)
    "La logique linéaire intuitionniste multi-conclusions (Full ILL) revisitée"
  • 15:30-16:30 : Mitsuhiro OKADA (Université Keiô, Tokyo, Département de philosophie)
    "Comprendre les investigations husserliennes sur les concepts logiques de base, à la lumière de la logique linéaire / Understanding Husserlian investigations on basic logical concepts, with the help of the linear logical view"

More information about this event…