Proof nets for the Displacement calculus
Logic in Computer Science
2016-06-07 v1 Computation and Language
Abstract
We present a proof net calculus for the Displacement calculus and show its correctness. This is the first proof net calculus which models the Displacement calculus directly and not by some sort of translation into another formalism. The proof net calculus opens up new possibilities for parsing and proof search with the Displacement calculus.
Cite
@article{arxiv.1606.01720,
title = {Proof nets for the Displacement calculus},
author = {Richard Moot},
journal= {arXiv preprint arXiv:1606.01720},
year = {2016}
}
Comments
Formal Grammar, Aug 2016, Bolzano, Italy. Springer, Proceedings of Formal Grammar 2016