Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2014

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

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

Dates and versions

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

Identifiers

Cite

Ryuta Arisaka. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. 2014. ⟨hal-00982331⟩
126 View
88 Download

Altmetric

Share

Gmail Facebook X LinkedIn More