Geodesic
Rule-Generation Theorem and its Applications
Bulletin of the Section of Logic, Tome 47 (2018) no. 4

Voir la notice de l'article provenant de la source Library of Science

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
Keywords: sequent calculus, cut elimination, proof theory, extralogical rules 
@article{BSL_2018_47_4_a3,
     author = {Indrzejczak, Andrzej},
     title = {Rule-Generation {Theorem} and its {Applications}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {47},
     number = {4},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_4_a3/}
}
TY  - JOUR
AU  - Indrzejczak, Andrzej
TI  - Rule-Generation Theorem and its Applications
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_4_a3/
LA  - en
ID  - BSL_2018_47_4_a3
ER  - 
%0 Journal Article
%A Indrzejczak, Andrzej
%T Rule-Generation Theorem and its Applications
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_4_a3/
%G en
%F BSL_2018_47_4_a3
Indrzejczak, Andrzej. Rule-Generation Theorem and its Applications. Bulletin of the Section of Logic, Tome 47 (2018) no. 4. http://geodesic.mathdoc.fr/item/BSL_2018_47_4_a3/