2016/06/06 by Richard Moot, Moot, Richard
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
paper · doi:10.48550/arxiv.1606.01720
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.