Ludics Characterization of Multiplicative-Additive Linear Behaviours - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Ludics Characterization of Multiplicative-Additive Linear Behaviours

Résumé

Ludics is a logical theory that J.-Y. Girard developed around 2000. At first glance, it may be considered as a Brouwer-Heyting-Kolmogorov interpretation of Logic as a formula is denoted by the set of its proofs. More primitively, Ludics is a theory of interaction that models (a variant of) second-order multiplicative-additive Linear Logic. A formula is denoted by a set of objects called a behaviour, a proof by an object that satisfies some criteria. Our aim is to analyze the structure of behaviours in order to better understand and refine the usual notion of formulas or types. More precisely, we study properties that guarantee a behaviour to be recursively decomposable by means of multiplicative-additive linear connectives and linear constants.
Fichier principal
Vignette du fichier
1403.3772.pdf (343.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01228498 , version 1 (13-11-2015)

Identifiants

  • HAL Id : hal-01228498 , version 1

Citer

Christophe Fouqueré, Myriam Quatrini. Ludics Characterization of Multiplicative-Additive Linear Behaviours. 2015. ⟨hal-01228498⟩
152 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More