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 <>
Submitted on : Monday, June 6, 2016 - 11:53:52 AM
Last modification on : Friday, November 6, 2020 - 11:42:27 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

73

Files downloads

496