Translation of hypersequents into display sequents

DOI10.1093/JIGPAL/6.5.719MaRDI QIDQ4221771zbMATH OpenOpenAlexFDO

Authors Heinrich Wansing

Publication date 2 December 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.5.719

zbMATH Keywords

cut-free hypersequentdisplay logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A formal framework for hypersequent calculi and their fibring
• Hypersequents, logical consequence and intermediate logics for concurrency
• scientific article; zbMATH DE number 956466
• Cut-free hypersequent calculus for S4.3.
• Embedding the hypersequent calculus in the display calculus

Cited in

(5)

• Proofs and countermodels in non-classical logics
• Hypersequent and display calculi -- a unified perspective
• A deep inference system for the modal logic S5
• A formal framework for hypersequent calculi and their fibring
• Embedding the hypersequent calculus in the display calculus

This page was built for publication: Translation of hypersequents into display sequents

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