Gödel Logic: from Natural Deduction to Parallel Computation

Federico Aschieri, Agata Ciabattoni, Francesco A. Genco

Propositional Gödel logic extends intuitionistic logic with the non-constructive principle of linearity $A\to B\vee B\to A$. We introduce a Curry-Howard correspo…