Gödel logic: From natural deduction to parallel computation.
Federico AschieriAgata CiabattoniFrancesco A. GencoPublished in: LICS (2017)
Keyphrases
- natural deduction
- parallel computation
- parallel algorithm
- cut elimination
- intuitionistic logic
- inference rules
- theorem prover
- sequent calculus
- parallel processing
- parallel computing
- linear time temporal logic
- parallel implementation
- theorem proving
- automated reasoning
- linear logic
- shared memory
- classical logic
- dynamical systems
- sufficient conditions
- scheduling problem