•  32
    Completeness of an Action Logic for Timed Transition Systems
    Bulletin of the Section of Logic 29 (4): 151-160. 2000.
  •  10
    Consolidação da Intersubjetividade Formal Kantiana Na Dialogicidade Habermasiana
    with Jovino Pizzi
    Logeion Filosofia da Informação 9 172-190. 2023.
    A ética do discurso justifica o conteúdo de uma moralidade que salienta a simetria entre os sujeitos e a solidariedade entre todos. Para Habermas “a solidariedade é a outra face da justiça” (1999, p. 42), ou seja, são duas faces da mesma moeda. Esta é uma afirmação chave em relação ao conteúdo cognitivo do âmbito moral. A validade das normas pressupõe uma fundamentação normativa estruturada linguisticamente, de forma a vincular a justiça com a solidariedade. A ênfase está em uma razão prática ca…Read more
  •  5
    Using the Internal Logic of a Topos to Model Search Spaces for Problems
    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