Bunched hypersequent calculi for distributive substructural logics

DOI10.29007/NGP3MaRDI QIDQ4645751zbMATHOpenAlexFDO

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

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)

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

Cited in

(6)

• An algebraic glimpse at bunched implications and separation logic
• Universal proof theory: semi-analytic rules and Craig interpolation
• Bunched logics displayed
• scientific article; zbMATH DE number 6302899 (Why is no real title available?)
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Focused proof-search in the logic of bunched implications

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)