Expanding the Realm of Systematic Proof Theory - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Expanding the Realm of Systematic Proof Theory

Résumé

This paper is part of a general project of developing a sys- tematic and algebraic proof theory for nonclassical logics. Generaliz- ing our previous work on intuitionistic-substructural axioms and single- conclusion (hyper)sequent calculi, we define a hierarchy on Hilbert ax- ioms in the language of classical linear logic without exponentials. We then give a systematic procedure to transform axioms up to the level P3 of the hierarchy into inference rules in multiple-conclusion (hy- per)sequent calculi, which enjoy cut-elimination under a certain con- dition. This allows a systematic treatment of logics which could not be dealt with in the previous approach. Our method also works as a heuristic principle for finding appropriate rules for axioms located at levels higher than P3 . The case study of Abelian and Lukasiewicz logic is outlined.
Fichier principal
Vignette du fichier
realm-finalforcsl.pdf (192.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00436420 , version 1 (30-11-2012)

Identifiants

Citer

Agata Ciabattoni, Lutz Strassburger, Kazushige Terui. Expanding the Realm of Systematic Proof Theory. Computer Science Logic, CSL'09, 2009, Coimbra, Portugal. ⟨10.1007/978-3-642-04027-6_14⟩. ⟨inria-00436420⟩
271 Consultations
196 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More