Switch to: References

Add citations

You must login to add citations.
  1. Decidability and complexity of fibred logics without shared connectives.Sérgio Marcelino & Carlos Caleiro - 2016 - Logic Journal of the IGPL 24 (5).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Formal Framework for Hypersequent Calculi and Their Fibring.Marcelo E. Coniglio & Martín Figallo - 2014 - In Arnold Koslow & Arthur Buchsbaum, The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I. New York: Springer. pp. 73-93.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Malinowski modalization, modalization through fibring and the Leibniz hierarchy.M. A. Martins & G. Voutsadakis - 2013 - Logic Journal of the IGPL 21 (5):836-852.
    Download  
     
    Export citation  
     
    Bookmark