Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
F. Aschieri:
"Natural Deduction and Curry-Howard for Herbrand Constructive Logics";
Vortrag: First International Conference - Formal Structures for Computation and Deduction (FSCD),
Porto, Portugal;
22.06.2016
- 26.06.2016.
Kurzfassung englisch:
Dummett's logic LC is intuitionistic logic extended with Dummett's axiom: for every two statements the first implies the second or the second implies the first. We present a natural deduction and a Curry-Howard correspondence for first-order and second-order Dummett's logic. We prove that our typed calculus is normalizing and show that proof terms for existentially quantified formulas reduce to a list of individual terms forming an Herbrand disjunction.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.