An Alternative Natural Deduction for the Intuitionistic Propositional Logic

Szczegóły
Opis

Tytuł:: An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Autorzy:: Ilić, Mirjana
Powiązania:: https://bibliotekanauki.pl/articles/749978.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: natural deduction
intuitionistic logic
Źródło:: Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje