A semantics of realisability for the classical propositional natural deduction

Karim Nour (1) , Khelifa Saber (1)

1 LAMA - Laboratoire de Mathématiques

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.

Domaines: Logique [math.LO]

Karim Nour, Khelifa Saber. A semantics of realisability for the classical propositional natural deduction. Second Workshop on Computational Logic and Applications (CLA 2004), Jun 2004, Lyon, France. pp.31-39. ⟨hal-00382687⟩