Séminaire Logique et Interactions
Le séminaire Logique et Interaction est le séminaire de l’équipe LDP de l’I2M. Il est conjoint au séminaire de l’équipe LSC du LIS.
Une liste de diffusion (modérée) pour recevoir les annonces d’exposés : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.
Les prochains séminaires
02
Jul
1 = ⊥ in MLL
Olivier Laurent (ÉNS de Lyon)
The introduction of units in multiplicative linear logic (MLL) makes syntactic properties much more complex, in particular regarding the question of identity of proofs and [...]
Événements passés
Proof theory for dynamic logics
Giuseppe Greco (Delft University of Technology)
We introduce a multi-type display calculus for (intuitionistic) dynamic epistemic logic and (concurrent) propositional dynamic logic, which we refer to as Dynamic Calculi. The display [...]
Une analyse philosophique et quelques résultats sur le typage
Paolo Pistone (I2M, Aix-Marseille Université)
TBA
La réduction dans le λ-calcul avec ressources
Jean-Baptiste Midez (I2M, Aix-Marseille Université)
TBA
Semantical analysis of λ-calculus by (Differential) Linear Logic
Alberto Carraro (Università Ca' Foscari, Venise)
We present some results about the relational semantics of λ-calculus. The standard relational semantics satisfies the so-called Taylor expansion formula and this forces all models [...]
10
Oct
