Complexity of correctness for pomset logic proof nets
Abstract
We show that it is coNP-complete to decide whether a given proof structure of pomset logic is a correct proof net, using the graph-theoretic used in a previous paper of ours (arXiv:1901.10247).
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2019
- DOI:
- 10.48550/arXiv.1912.10606
- arXiv:
- arXiv:1912.10606
- Bibcode:
- 2019arXiv191210606T
- Keywords:
-
- Computer Science - Logic in Computer Science;
- F.4.1;
- F.4.1
- E-Print:
- Fully subsumed by arXiv:2209.07825 (which contains a lot more material and has an additional coauthor)