Two types of multiple-conclusion systems

DOI10.1093/JIGPAL/6.5.695zbMath0914.03057OpenAlexW1969212475MaRDI QIDQ4221770

Arnon Avron

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.695

zbMATH Keywords

substructural logicsconsequence relationsrelevance logicshypersequentsmultiple-conclusion sequents

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 (1)

Hypersequent calculi for intuitionistic logic with classical atoms

This page was built for publication: Two types of multiple-conclusion systems