Bunched hypersequent calculi for distributive substructural logics

DOI10.29007/NGP3MaRDI QIDQ4645751zbMATH OpenOpenAlexFDO

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

BBIbunched calculicut eliminationdistributive substructural logicsDunn-Mints calculihypersequentslogic of bunched implicationsseparation logicstructural rules

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

(7)

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

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)