ArticleOriginal scientific text
Title
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Authors
Abstract
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
Main language of publication
English
Published
2016
Humanities