Intuitionistic Dual-intuitionistic Nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2011

Intuitionistic Dual-intuitionistic Nets

Résumé

The intuitionistic sequent calculus (at most one formula on the right-hand side of sequents) comes with a natural dual system: the dual-intuitionistic sequent calculus (at most one formula on the left-hand side). We explain how the duality between these two systems exactly corresponds to the intensively studied duality between call-by-value systems and call-by-name systems for classical logic. Relying on the uniqueness of the computational behaviour underlying these four logics (intuitionistic, dual-intuitionistic, call-by-value classical and call-by-name classical), we define a generic syntax of nets which can be used for any of these logics.

Dates et versions

hal-00617254 , version 1 (26-08-2011)

Identifiants

Citer

Olivier Laurent. Intuitionistic Dual-intuitionistic Nets. Journal of Logic and Computation, 2011, 21 (4), pp.561-587. ⟨10.1093/logcom/exp044⟩. ⟨hal-00617254⟩
89 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More