Bunched Hypersequent Calculi for Distributive Substructural Logics

DOI10.29007/ngp3zbMath1402.03029OpenAlexW2740395139MaRDI QIDQ4645751

Revantha Ramanayake, Agta Ciabattoni

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/ngp3

zbMATH Keywords

BBIcut eliminationstructural rulesseparation logiclogic of bunched implicationshypersequentsbunched calculidistributive substructural logicsDunn-Mints calculi

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

An algebraic glimpse at bunched implications and separation logic ⋮ Focused proof-search in the logic of bunched implications

This page was built for publication: Bunched Hypersequent Calculi for Distributive Substructural Logics