Translation of hypersequents into display sequents

DOI10.1093/JIGPAL/6.5.719zbMath0917.03026OpenAlexW4249227847MaRDI QIDQ4221771

Heinrich Wansing

Publication date: 2 December 1998

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

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

zbMATH Keywords

display logiccut-free hypersequent

Mathematics Subject Classification ID

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

Related Items (3)

A deep inference system for the modal logic S5 ⋮ Proofs and countermodels in non-classical logics ⋮ Hypersequent and display calculi -- a unified perspective

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