A semantics of realisability for the classical propositional natural deduction - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005

A semantics of realisability for the classical propositional natural deduction

Karim Nour
Laboratoire de Mathématiques
Khelifa Saber
  • Fonction : Auteur
Laboratoire de Mathématiques

Résumé

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]
Fichier principal
Vignette du fichier
realizabl.pdf (131.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Karim Nour  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00382687

Soumis le : lundi 11 mai 2009-08:28:36

Dernière modification le : mardi 15 octobre 2024-14:53:29

Archivage à long terme le : jeudi 10 juin 2010-23:00:07

Télécharger pour visualiser

Dates et versions

hal-00382687 , version 1 (11-05-2009)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS INSMI LAMA LAMA-EQUIPE-LIMD
96 Consultations
84 Téléchargements

Altmetric

Partager

More