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.
Type de document :
Communication dans un congrès
Formal Grammar, Aug 2016, Bolzano, Italy. Springer, Proceedings of Formal Grammar 2016
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01327011
Contributeur : Richard Moot <>
Soumis le : lundi 6 juin 2016 - 11:53:52
Dernière modification le : samedi 7 avril 2018 - 11:58:02

Fichiers

pnd.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

Proof nets for the Displacement calculus. Formal Grammar, Aug 2016, Bolzano, Italy. Springer, Proceedings of Formal Grammar 2016. 〈hal-01327011〉

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

69