More details
  •  22
    Using the Internal Logic of a Topos to Model Search Spaces for Problems
    with Fernando Náufel do Amaral
    Logic Journal of the IGPL 15 (5-6): 457-474. 2007.
    We present a structural model for heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic where objects of interest can be represented.
  •  68
    XII Brazilian Logic Conference
    Bulletin of Symbolic Logic 7 (2): 295-295. 2001.
  •  68
    Completeness of an Action Logic for Timed Transition Systems
    with Fernando Náufel do Amaral
    Bulletin of the Section of Logic 29 (4): 151-160. 2000.
    Logics
  •  52
    A natural deduction system for ctl
    with Christian Jacques Renterıa
    Bulletin of the Section of Logic 31 (4): 231-240. 2002.
    Nonclassical Logics
  •  44
    Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions
    with Alfio Martini and Uwe Wolter
    In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic, Polimetrica. 2007.
  •  32
    Preface
    with Mauricio Ayala-rincón
    Logic Journal of the IGPL 17 (5): 487-488. 2009.
  •  40
    Fibred and Indexed Categories for Abstract Model Theory
    with Alfio Martini and Uwe Wolter
    Logic Journal of the IGPL 15 (5-6): 707-739. 2007.
    Indexed and Fibred category theory have a long tradition in computer science as a language to formalize different presentations of the notion of a logic, as for instance, in the theory of institutions and general logics, and as unifying models of logic and type theory as well. Here we introduce the notions of indexed and fibred frames and construct a rich mathematical workspace where many relevant and useful concepts of logics can be elegantly modelled. To demonstrate the applicability of these …Read more
    Category Theory