Topological Observations on Multiplicative Additive Linear Logic - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

Topological Observations on Multiplicative Additive Linear Logic

Résumé

As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a ``topological'' game for Multiplicative Additive Linear Logic without propositional variables, including cut moves. We recast the notion of (winning) strategy and the question of cut elimination in this context, and prove a cut elimination theorem. Finally, we prove soundness and completeness. The topology plays a crucial role, in particular through the fact that strategies form a sheaf.
Fichier principal
Vignette du fichier
nase.pdf (208.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00295949 , version 1 (11-07-2008)

Identifiants

Citer

André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz. Topological Observations on Multiplicative Additive Linear Logic. 2008. ⟨hal-00295949⟩
283 Consultations
82 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More