Geodesic
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Bulletin of the Section of Logic, Tome 45 (2016) no. 1 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.
Keywords: natural deduction, intuitionistic logic 
@article{BSL_2016_45_1_a0,
     author = {Ili\'c, Mirjana},
     title = {An {Alternative} {Natural} {Deduction} for the {Intuitionistic} {Propositional} {Logic}},
     journal = {Bulletin of the Section of Logic},
     year = {2016},
     volume = {45},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_1_a0/}
}
TY  - JOUR
AU  - Ilić, Mirjana
TI  - An Alternative Natural Deduction for the Intuitionistic Propositional Logic
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_1_a0/
LA  - en
ID  - BSL_2016_45_1_a0
ER  - 
%0 Journal Article
%A Ilić, Mirjana
%T An Alternative Natural Deduction for the Intuitionistic Propositional Logic
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 1
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_1_a0/
%G en
%F BSL_2016_45_1_a0
Ilić, Mirjana. An Alternative Natural Deduction for the Intuitionistic Propositional Logic. Bulletin of the Section of Logic, Tome 45 (2016) no. 1. http://geodesic.mathdoc.fr/item/BSL_2016_45_1_a0/