Order:
Disambiguations
Hugo Luiz Mariano [3]Hélvio Alexandre Mariano [2]Hugo Mariano [2]H. Mariano [1]
H. L. Mariano [1]
  1.  13
    Logic, Partial Orders and Topology.Hugo Mariano & Francisco Miraglia - 2005 - Manuscrito 28 (2):449-546.
    We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  39
    A Global Glance on Categories in Logic.Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano & Hugo Luiz Mariano - 2007 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    O processo de consolidação da assistência à inf'ncia e o amparo à maternidade no Brasil: entre o público e o particular. [REVIEW]Hélvio Alexandre Mariano - 2009 - Diálogos (Maringa) 13 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  17
    The Boolean and Profinite Hulls of Reduced Special Groups.H. L. Mariano & F. Miraglia - 2013 - Logic Journal of the IGPL 21 (2):160-182.
  5. A Global Glance on Categories in Logic.Peter Arndt, Rodrigo Alvarenga Freirdee, Odilon Otavio Luciano & Hugo Luiz Mariano - 2007 - 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.
     
    Export citation  
     
    Bookmark  
  6.  3
    O processo de consolidação da assistência à inf'ncia e o amparo à maternidade no Brasil: entre o público e o particular.Hélvio Alexandre Mariano - 2010 - Dialogos 13 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  19
    The Profinite Hull of Special Groups and Local-Global Principles.Hugo Luiz Mariano & Francisco Miraglia - 2011 - 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 (4 more)  
     
    Export citation  
     
    Bookmark