Proof nets for the Displacement calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Proof nets for the Displacement calculus

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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

Collections

CNRS
23 Consultations
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More