Geodesic
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Bulletin of the Section of Logic, Tome 45 (2016) no. 1

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

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},
     publisher = {mathdoc},
     volume = {45},
     number = {1},
     year = {2016},
     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
PB  - mathdoc
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
%I mathdoc
%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/