Skip to Main content Skip to Navigation
Conference papers

Proof nets for the Displacement calculus

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01327011
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Monday, June 6, 2016 - 11:53:52 AM
Last modification on : Saturday, June 25, 2022 - 10:36:37 AM

Files

pnd.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01327011, version 1
  • ARXIV : 1606.01720

Collections

Citation

Richard Moot. Proof nets for the Displacement calculus. Formal Grammar, Aug 2016, Bolzano, Italy. ⟨hal-01327011⟩

Share

Metrics

Record views

23

Files downloads

130