Order:
Disambiguations
Hugo Luiz Mariano [3]Hugo Mariano [2]
  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. 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