Repository | Series | Book | Chapter
A formal framework for hypersequent calculi and their fibring
pp. 73-93
Abstract
Hypersequents are a natural generalization of ordinary sequents which turn out to be a very suitable tool for presenting cut-free Gentzent-type formulations for diverse logics. In this paper, an alternative way of formulating hypersequent calculi (by introducing meta-variables for formulas, sequents and hypersequents in the object language) is presented. A suitable category of hypersequent calculi with their morphisms is defined and both types of fibring (constrained and unconstrained) are introduced. The introduced morphisms induce a novel notion of translation between logics which preserves metaproperties in a strong sense. Finally, some preservation features are explored.
Publication details
Published in:
Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic I: Festschrift for 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.
Pages: 73-93
DOI: 10.1007/978-3-319-10193-4_4
Full citation:
Coniglio Marcelo, Figallo Martín (2015) „A formal framework for hypersequent calculi and their fibring“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, 73–93.