Natural deduction derived from truth tables

Autor: Geuvers, H., Giessen, I. van der, Hurkens, Tonny, Afshari, B.

Publikováno v: Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands, 43-44. Utrecht; Amsterdam : Evert Willem Beth Foundation
STARTPAGE=43-44;TITLE=Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6928067c43041d39c586dfe502a6e417
http://hdl.handle.net/2066/286464

Strong Normalization for Truth Table Natural Deduction

Autor: Geuvers, H., Giessen, I. van der, Hurkens, Tonny, Altenkirch, T., Schubert, A.

Publikováno v: Fundamenta Informaticae, 170, 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