Bunched hypersequent calculi for distributive substructural logics

DOI10.29007/NGP3zbMATH Open1402.03029OpenAlexW2740395139MaRDI QIDQ4645751FDOQ4645751

Authors: Agta Ciabattoni, Revantha Ramanayake 

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

Recommendations

• Bunched logics displayed
• Intermediate logics admitting a structural hypersequent calculus
• Bounded sequent calculi for non-classical logics via hypersequents
• Distributive residuated frames and generalized bunched implication algebras
• A unified display proof theory for bunched logic

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)