Proof nets for the Displacement calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
pnd.pdf (161.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01327011 , version 1 (06-06-2016)

Identifiers

Cite

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

Collections

CNRS
23 View
134 Download

Altmetric

Share

Gmail Facebook X LinkedIn More