Labelled Proof Systems for Intuitionistic Provability - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2000

Labelled Proof Systems for Intuitionistic Provability

Didier Galmiche
Vincent Balat
  • Fonction : Auteur

Résumé

In this paper, we propose new labelled proof systems to analyse the intuitionistic provability in classical and linear logics. An important point is to understand how search in a non-classical logic can be viewed as a perturbation of search in classical logic. Therefore, suitable characterizations of intuitionistic provability and related labelled sequent calculi are defined for linear logic. An alternative approach, based on the notion of proof-net and on the definition of suitable labelled classical proof-nets, allows to directly study the intuitionistic provability by constructing intuitionistic proof-nets for sequents of classical linear logic.
Fichier non déposé

Dates et versions

inria-00098993 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098993 , version 1

Citer

Didier Galmiche, Vincent Balat. Labelled Proof Systems for Intuitionistic Provability. D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3. ⟨inria-00098993⟩
83 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More