Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

202761

A formal framework for hypersequent calculi and their fibring

Marcelo ConiglioMartín Figallo

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.