| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
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.
Cited literature [11 references]
https://hal.inria.fr/inria-00074243
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:50:52 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:07:00 AM
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:50:52 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:07:00 AM