Zobrazeno 1 - 2
of 2
pro vyhledávání: '"detour conversion"'
Publikováno v:
Fundamenta Informaticae, 170, 139-176
Fundamenta Informaticae, 170(1-3), 139
Fundamenta Informaticae, 170, 1-3, pp. 139-176
Fundamenta Informaticae, 170(1-3), 139
Fundamenta Informaticae, 170, 1-3, pp. 139-176
We present a proof of strong normalization of proof-reduction in a general system of natural deduction called truth table natural deduction. In previous work, we have defined truth table natural deduction, which is a method for deriving intuitionisti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4df027030af13cf5f4534b043d038602
https://doi.org/10.3233/fi-2019-1858
https://doi.org/10.3233/fi-2019-1858
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.