2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229961In 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.Second Workshop on Computational Logic and Applications (CLA 2004), Lyon : France (2004)Logictext