•  10
    Intuitionistic N-Graphs
    with M. Quispe-Cruz, R. J. G. B. de Queiroz, and V. de Paiva
    Logic Journal of the IGPL 22 (2): 274-285. 2014.
  •  2
    Neste artigo, será deliberada a forma como a moral da existencialização começa por se formar nos escritos kierkegaardianos, principalmente aqueles que se restringem ao livro A alternativa e como a conceituação de tais princípios éticos relaciona-se formando um corpus sapiencial, aludindo-se, primariamente, à ética prudencial kantiana, em voga no século XIX.In this article, shall be decided how the moral´s fact existential begins to form in a Kierkegaardian writings, especially those confined to …Read more
  •  13
    On automorphisms of arbitrary mathematical systems
    with José Sebastião E. Silva
    History and Philosophy of Logic 6 (1): 91-116. 1985.
    Translator's summary The translated paper is an extract, published in 1945, of an unpublished thesis, of both historical and technical import, dealing with notions of definability and their relation to invariance under automorphisms. The author develops a metamathematical Galois theory, and discusses and anticipates some aspects of higher-order model theory in an informal but conceptually rich manner