Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Ryuta Arisaka 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system. In fact our calculus involves no structural rules.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00982331
Contributeur : Ryuta Arisaka <>
Soumis le : mercredi 23 avril 2014 - 16:33:54
Dernière modification le : jeudi 10 mai 2018 - 02:06:36
Document(s) archivé(s) le : mercredi 23 juillet 2014 - 12:40:31

Fichiers

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

Identifiants

  • HAL Id : hal-00982331, version 1
  • ARXIV : 1404.6037

Collections

Citation

Ryuta Arisaka. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. 2014. 〈hal-00982331〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

190