Skip to Main content Skip to Navigation
Conference papers

Proof Systems for Intuitionistic Provability in Linear Logic

Didier Galmiche 1 Vincent Balat 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper analyses the intuitionistic provability in classical logic and in linear logic. It proposes new labelled sequent calculi to analyse if a classical proof can be used to deal with intuitionistic provability of a formula. In the case of linear logic, labelled proof nets are defined for such a purpose and a characterization of provability , based on proof nets, is given. Moreover, the corresponding method is complete with respect to intuitionistic provability.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:10 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00098529, version 1



Didier Galmiche, Vincent Balat. Proof Systems for Intuitionistic Provability in Linear Logic. First International Workshop on Labelled Deduction - Ld'98, 1998, Freiburg/Germany. ⟨inria-00098529⟩



Record views