A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Proof Nets for First-Order Additive Linear Logic
2019
International Conference on Rewriting Techniques and Applications
We present canonical proof nets for first-order additive linear logic, the fragment of linear logic with sum, product, and first-order universal and existential quantification. We present two versions of our proof nets. One, witness nets, retains explicit witnessing information to existential quantification. For the other, unification nets, this information is absent but can be reconstructed through unification. Unification nets embody a central contribution of the paper: first-order witness
doi:10.4230/lipics.fscd.2019.22
dblp:conf/rta/HeijltjesHS19
fatcat:oayjro45zfdr7fqr54bgeu3jam