CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Has experience in Mathematics, focusing on Mathematics (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) |
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…
In this work, we intend to present a non-classical paraconsistent logic through an alternative to the axiomatic deductive method (Hilbert). In this case, we are emphasizing the tableaux deductive method. We develop a tableaux analytical system for the Relevance Logic RM introduced in 1975 by Anderson and Belnap from the axiomatic system presented by Middelburg in 2011, that is, for the Hi…
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |