Gödel logic: From natural deduction to parallel computation

Francesco A. Genco
Francesco A. Genco

LICS, pp. 1-12, 2017.

Cited by: 18|Bibtex|Views0|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments