Some properties of the lambda-mu-and-or-calculus - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2012

Some properties of the lambda-mu-and-or-calculus

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

In this paper, we present the lambda-mu-and-or-calculus which at the typed level corresponds to the full classical propositional natural deduction system. Church- Rosser property of this system is proved using the standardization and the finiteness developments theorem. We defi ne also the leftmost reduction and prove that it is a winning strategy
Fichier principal
Vignette du fichier
confluence_journale.pdf (310.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00938327 , version 1 (29-01-2014)

Identifiants

  • HAL Id : hal-00938327 , version 1

Citer

Karim Nour, Khelifa Saber. Some properties of the lambda-mu-and-or-calculus. Journal of Applied Non-Classical Logics, 2012, 22 (3), pp.231-247. ⟨hal-00938327⟩
67 Consultations
130 Téléchargements

Partager

Gmail Facebook X LinkedIn More