On the Concurrent Computational Content of Intermediate Logics

Francesco A. Genco
Francesco A. Genco

Theoretical Computer Science, pp. 375-409, 2020.

Cited by: 1|Bibtex|Views0|Links
EI

Abstract:

Abstract We provide a proofs-as-concurrent-programs interpretation for a large class of intermediate logics that can be formalized by cut-free hypersequent calculi. Obtained by adding classical disjunctive tautologies to intuitionistic logic, these logics are used to type concurrent λ-calculi by Curry–Howard correspondence; each of the ...More

Code:

Data:

Your rating :
0

 

Tags
Comments