Bunched Hypersequent Calculi for Distributive Substructural Logics

DOI10.29007/NGP3zbMATH Open1402.03029OpenAlexW2740395139MaRDI QIDQ4645751FDOQ4645751

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 eliminationseparation logiclogic of bunched implicationshypersequentsstructural rulesbunched 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)

Cited In (4)

• Focused proof-search in the logic of bunched implications
• Title not available (Why is that?)
• Universal proof theory: semi-analytic rules and Craig interpolation
• An algebraic glimpse at bunched implications and separation logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645751)