| Grant number: | 21/01025-3 |
| Support Opportunities: | Scholarships in Brazil - Doctorate |
| Start date: | November 01, 2021 |
| End date: | July 31, 2026 |
| Field of knowledge: | Humanities - Philosophy - Logic |
| Principal Investigator: | Marcelo Esteban Coniglio |
| Grantee: | Renato Reis Leme |
| Host Institution: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
| Associated scholarship(s): | 23/16021-9 - Modal Ecumenism through RNmatrices: Theory, Implementation, and Verification, BE.EP.DR |
Abstract This project proposes the complete development of a proof assistant focused on diagrammatic reasoning in all its stages, namely: (I) software development; (II) debugging; (III) documentation. Among the main characteristics of this proposal, we highlight the implementation of the generic language paradigm through the notion of homomorphism between graphs, the implementation of a formal language for the specification of tableaux, the creation of a user management system with distinction of profiles, as well as hosting the environment entirely in the cloud, facilitating portability and making the system ideal for distance learning contexts. In addition to the software, we propose to develop the thesis containing an exposition of the formal theory of test assistants (type theory), the philosophical aspects involved in the concept of diagrammatic reasoning, and the complete description of the environment, including the results obtained during debugging phase. (AU) | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| More itemsLess items | |
| TITULO | |
| Articles published in other media outlets ( ): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |