Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00982331
Contributor : Ryuta Arisaka <>
Submitted on : Wednesday, April 23, 2014 - 4:33:54 PM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM
Long-term archiving on: : Wednesday, July 23, 2014 - 12:40:31 PM

Files

workA.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

279

Files downloads

266