Relating labelled and label-free bunched calculi in BI logic

DOI10.1007/978-3-030-29026-9_8zbMath1468.03024OpenAlexW2969314538MaRDI QIDQ2180513

Michel Marti, Daniel Méry, Didier Galmiche

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_8

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Semantical analysis of the logic of bunched implications, Focused proof-search in the logic of bunched implications