Exploring the Gap between Linear and Classical Logic

François Lamarche 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The Medial rule was first devised as a deduction rule in the Calculus of Structures. In this paper we explore it from the point of view of category theory, as additional structure on a *-autonomous category. This gives us some insights on the denotational semantics of classical propositional logic, and allows us to construct new models for it, based on suitable generalizations of the theory of coherence spaces.
Type de document :
Article dans une revue
Theory and Applications of Categories, Mount Allison University, 2007, 18 (17), 473--535 (63 p.)
Liste complète des métadonnées

Littérature citée [52 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00113785
Contributeur : Francois Lamarche <>
Soumis le : mercredi 14 novembre 2007 - 16:00:30
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : mardi 6 avril 2010 - 18:42:38

Fichier

GapTac.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00113785, version 1

Collections

Citation

François Lamarche. Exploring the Gap between Linear and Classical Logic. Theory and Applications of Categories, Mount Allison University, 2007, 18 (17), 473--535 (63 p.). 〈inria-00113785〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

68