| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [12 references]
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
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)