8481 articles  [version française]

inria-00074243, version 1

A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences

Christian Retoré (, http://www.labri.fr/perso/retore/) 1

N° RR-2432 (1994)

Abstract: In his paper ``A new constructive logic: classical logic'' Jean-Yves Girard brought up the question of a self-dual modality. This note provides a semantical solution with respect to the self-dual connective \tt before in the category of coherence spaces, and in the category of hypercoherences.

  • 1:  MEIJE (INRIA Sophia Antipolis)
  • INRIA
  • Domain : Computer Science/Other
  • Keywords : DENOTATIONAL SEMANTICS / LOGIC / PROOF THEORY / LINEAR LOGIC
  • Internal note : RR-2432
 
  • inria-00074243, version 1
  • http://hal.inria.fr/inria-00074243
  • oai:hal.inria.fr:inria-00074243
  • From: Rapport De Recherche Inria <>
  • Submitted on: Wednesday, 24 May 2006 14:50:52
  • Updated on: Wednesday, 31 May 2006 14:24:32