4 found
Order:
  1.  13
    Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano & Hugo Luiz Mariano (2007). A Global Glance on Categories in Logic. Logica Universalis 1 (1):3-39.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  12
    Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano & Hugo Luiz Mariano (2007). A Global Glance on Categories in Logic. Logica Universalis 1 (1):3-39.
    We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  20
    Peter Arndt, Rodrigo Alvarenga Freirdee, Odilon Otavio Luciano & Hugo Luiz Mariano (2007). A Global Glance on Categories in Logic. Logica Universalis 1 (1).
    . We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  5
    Hugo Luiz Mariano & Francisco Miraglia (2011). The Profinite Hull of Special Groups and Local-Global Principles. Studia Logica 97 (1):127-160.
    We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new local - global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography