A semantics of realisability for the classical propositional natural deduction
Nour, Karim ; Saber, Khelifa
HAL, hal-00382687 / Harvested from HAL
Text on HAL
In this paper, we introduce a semantics of realisability for the classical propositional natural deduction and we prove a correctness theorem. This allows to characterize the operational behaviour of some typed terms.
Publié le : 2004-06-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00382687,
     author = {Nour, Karim and Saber, Khelifa},
     title = {A semantics of realisability for the classical propositional natural deduction},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00382687}
}

Nour, Karim; Saber, Khelifa. A semantics of realisability for the classical propositional natural deduction. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00382687/