In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I. Springer. pp. 73-93 (2015)

Marcelo E. Coniglio
University of Campinas
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.
Keywords Hypersequents  Fibring  Combination of logics  Translation between logics
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Categories and De Interpretatione. Aristotle & J. L. Ackrill - 1969 - Revue Philosophique de la France Et de l'Etranger 159:268-270.
Inheritance.[author unknown] - 2009 - International Studies in Philosophy Monograph Series:277-301.
Versions.[author unknown] - 1908 - The Classical Review 22 (3):101-101.
Versions.[author unknown] - 1909 - The Classical Review 23 (4):138-139.

Add more references

Citations of this work BETA

Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Fibring in the Leibniz Hierarchy.Victor Fernández & Marcelo Coniglio - 2007 - Logic Journal of the IGPL 15 (5-6):475-501.
Labeled Sequent Calculi for Modal Logics and Implicit Contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Structuralist Modals and the Combination of Logics.Arnold Koslow - 2011 - Logic Journal of the IGPL 19 (4):584-597.
Display Calculi for Logics with Relative Accessibility Relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.


Added to PP index

Total views
7 ( #1,075,114 of 2,533,569 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,569 )

How can I increase my downloads?


My notes