Proof nets for the Displacement calculus

TL;DR

This paper introduces a novel proof net calculus specifically designed for the Displacement calculus, enabling more direct modeling, parsing, and proof search without translation to other formalisms.

Contribution

It is the first proof net calculus that directly models the Displacement calculus, enhancing its applicability and theoretical understanding.

Findings

Proof net calculus for Displacement calculus established

Correctness of the calculus demonstrated

Potential for improved parsing and proof search methods

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.