CV Lattes
ResearcherID
ORCID
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Undergraduated in Mathematics (Full Licentiate), UNESP, FC, Bauru, 2002. Master´s Degree in Philosophy (Philosophy of Mind, Epistemology and Logic), UNESP, FFC, Marília, 2005. Ph.D in Philosophy (Logic), UNICAMP, IFCH, Campinas, 2011. Assistant Professor at the São Paulo State University (UNESP), School of Sciences, Department of Mathematics. Experienced in Logic and Epistemology. Proficient on the following subjects: non-classical logics, theories of truth, quantifiers, and tableaux method. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
The research infrastructure investment plan of the School of Sciences/UNESP, Bauru Campus, is presented, within the resources made available through the FAPESP Institutional Technical Reserve, for the year 2019. The plan seeks to attend to the demands of the unit's laboratories and researchers, especially those who have or had FAPESP-funded research projects. The items listed in this plan…
In 1932, Lewis and Langford published work called Symbolic Logic, not qualifying as notions of normal modal logic S5. This logic uses the ¡ (necessary) and Ê (possible) operators as new object language symbols. In the semantic environment in Kripke, we have contexts of reflexivity, symmetry, and transitivity between worlds. The objective of this project of scientific initiation is to reco…
The calculus I1 was introduced in 1995 by Sette and Carnielli. This system has an intuitionistic character, in the same sense as the logical system developed by Arend Heyting (1898-1980), which emerged as the underlying logic of Intuitionistic Mathematics, or constructive, by Luitzen Egbertus Jan Brouwer (1881-1966). Furthermore, the calculus I1 is a three-valued logic that, contrary to c…
In 1986, Mikenberg et al. introduced the quasi-truth semantic notion defined by means of partial structures, whose predicates are given as triples of mutually disjoint sets. Coniglio and Silvestrini, facing this scenario, proposed that the notion of predicates as triples could be extended to any formula present in first order language. The new system subjacent to this interpretation to qu…
(Only some records are available in English at this moment)
| 1 / 1 | Completed research grants |
| 6 / 5 | Completed scholarships in Brazil |
| 7 / 6 | All research grants and scholarships |
| Associated processes | |