A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Efficient elimination of Skolem functions in LK^h
[article]
2020
arXiv
pre-print
Elimination of a single Skolem function in pure logic increases the length of proofs only linearly. The result is shown for derivations with cuts that are free for the Skolem function in a sequent calculus with strong locality property.
arXiv:1909.01697v4
fatcat:27aimhi3t5h2hdw4ihpu56jmpa