A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1994

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

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2432.pdf (178.05 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00074243 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074243 , version 1

Cite

Christian Retoré. A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences. RR-2432, INRIA. 1994. ⟨inria-00074243⟩
107 View
146 Download

Share

Gmail Facebook Twitter LinkedIn More