Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation.
Federico AschieriAgata CiabattoniFrancesco A. GencoPublished in: CoRR (2016)
Keyphrases
- natural deduction
- parallel computation
- parallel algorithm
- inference rules
- cut elimination
- theorem prover
- intuitionistic logic
- sequent calculus
- parallel implementation
- parallel processing
- parallel computing
- theorem proving
- linear logic
- shared memory
- automated reasoning
- integrated circuit
- computing systems
- modal logic
- proof theoretic
- knowledge representation