A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An Algorithmic Interpretation of a Deep Inference System
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
We set out to find something that corresponds to deep inference in the same way that the lambda-calculus corresponds to natural deduction. Starting from natural deduction for the conjunction-implication fragment of intuitionistic logic we design a corresponding deep inference system together with reduction rules on proofs that allow a fine-grained simulation of beta-reduction.
doi:10.1007/978-3-540-89439-1_34
fatcat:s2onuy4y3fh35avd64ngy3y67q