A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences
Résumé
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.
Domaines
Autre [cs.OH]
Loading...