Advanced search
Start date

Milton Augustinis de Castro

CV Lattes

Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE)  (Institutional affiliation for the last research proposal)
Birthplace: Brazil

graduate at Philosophy from Universidade Federal do Rio de Janeiro (1975), graduate at Agronomia from Universidade Federal da Bahia (1989), master's at Philosophy from Universidade Estadual de Campinas (1998) and ph.d. at Philosophy from Universidade Estadual de Campinas (2004). Has experience in Philosophy, acting on the following subjects: lógica paraconsistente, sistemas de tableaux, dedução natural, teoria da prova and tableaux analíticos. (Source: Lattes Curriculum)

Scholarships in Brazil
FAPESP support in numbers * Updated July 04, 2020
Total / Available in English
2 / 1 Completed scholarships in Brazil

Associated processes
Most frequent collaborators in research granted by FAPESP
Contact researcher

Use this Research Supported by FAPESP (BV/FAPESP) channel only to send messages referring to FAPESP-funded scientific projects.





Keywords used by the researcher
Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. Tese (Doutorado) -  Instituto de Filosofia e Ciencias Humanas.  Universidade Estadual de Campinas (UNICAMP).  (99/03213-6

Please report errors in researcher information by writing to:

Report errors in this page

Error details: