Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Résumé

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.
Fichier principal
Vignette du fichier
workA.pdf (207.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00982331 , version 1 (23-04-2014)

Identifiants

Citer

Ryuta Arisaka. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. 2014. ⟨hal-00982331⟩
128 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More