On the Dependencies of Logical Rules
On the Dependencies of Logical Rules
Marc Bagnol,Amina Doumane,A. Saurin
2015 · DOI: 10.1007/978-3-662-46678-0_28
Foundations of Software Science and Computation Structure · 9 Citations
TLDR
This paper introduces a new correctness criterion, called DepGraph, and shows that together with Danos’ contractibility criterion and Mogbil and Naurois criterion, they form the three faces of a notion of dependency which is crucial for correctness of proof-structures.