Checking Proof Transformations with ASP

Proof transformation is an important proof theoretic technique that has b een used for showing a number of foundational results about proof systems. For instance, it is used for showing the admissibility of the cutrule and the completeness of proof search strategies, such as uniform provability and the focusing discipline. However, in order to check the… CONTINUE READING