A Formal Framework for Hypersequent Calculi and Their Fibring

DOI10.1007/978-3-319-10193-4_4zbMath1376.03015OpenAlexW1482301682MaRDI QIDQ5258963

Martín Figallo, Marcelo E. Coniglio

Publication date: 24 June 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10193-4_4

zbMATH Keywords

translation between logicshypersequentsfibring

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Combined logics (03B62)

This page was built for publication: A Formal Framework for Hypersequent Calculi and Their Fibring