Structural Interactions and Absorption of...
URL: https://inria.hal.science/hal-00982331
Dataset description:
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...
Source: Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 5, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | 25248656-b253-49dc-9a8e-0dd4c7837b46 |
| Package id | oai-hal-hal-00982331v1 |
| Resource type | HTML |
| State | active |