Switch to: References

Add citations

You must login to add citations.
  1. Representations of Structural Closure Operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.
    We continue the work of Blok and Jónsson by developing the theory of structural closure operators and introducing the notion of a representation between them. Similarities and equivalences of Blok-Jónsson turn out to be bijective representations and bijective structural representations, respectively. We obtain a characterization for representations induced by a transformer. In order to obtain a similar characterization for structural representations we introduce the notions of a graduation and a graded variable of an M-set. We show that several deductive systems, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Correspondences Between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
  • Categorical Abstract Algebraic Logic: Gentzen Π ‐Institutions and the Deduction‐Detachment Property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
    Given a π -institution I , a hierarchy of π -institutions I is constructed, for n ≥ 1. We call I the n-th order counterpart of I . The second-order counterpart of a deductive π -institution is a Gentzen π -institution, i.e. a π -institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I of I is also called the “Gentzenization” of I . In the main result of the paper, it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark