Gödel logic: From natural deduction to parallel computation
LICS, pp. 1-12, 2017.
Propositional Godel logic G extends intuitionistic logic with the non-constructive principle of linearity (A → B) ∨ (B → A). We introduce a Curry-Howard correspondence for G and show that a simple natural deduction calculus can be used as a typing system. The resulting functional language extends the simply typed λ-calculus via a synchron...More
Full Text (Upload PDF)
PPT (Upload PPT)