Proof Systems for Intuitionistic Provability in Linear Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Proof Systems for Intuitionistic Provability in Linear Logic

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.
No file

Dates and versions

inria-00098529 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098529 , version 1

Cite

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⟩
69 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More