Order:
Disambiguations
Hugo Luiz Mariano [4]Hélvio Alexandre Mariano [2]Hugo Mariano [2]H. Mariano [1]
H. L. Mariano [1]
  1.  48
    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   2 citations  
  2.  3
    Filter Pairs and Natural Extensions of Logics.Peter Arndt, Hugo Luiz Mariano & Darllan Conceição Pinto - forthcoming - Archive for Mathematical Logic:1-33.
    We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality \, where \ is a regular cardinal. The corresponding new notion is called \-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different \-filter pairs give rise to a fixed logic of cardinality \. To make the question well-defined we restrict to a subcollection (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  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  
  4.  20
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  24
    The Boolean and Profinite Hulls of Reduced Special Groups.H. L. Mariano & F. Miraglia - 2013 - Logic Journal of the IGPL 21 (2):160-182.
  6. 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  
  7.  5
    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  
    Translate
     
     
    Export citation  
     
    Bookmark