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

Christian Retoré (1)

1 MEIJE - Concurrency, Synchronization and Real-time Programming

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.

Mots clés: DENOTATIONAL SEMANTICS; LOGIC; PROOF THEORY; LINEAR LOGIC

Domaines: Autre [cs.OH]

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⟩