| Grant number: | 16/21928-0 |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |
| Start date: | April 01, 2017 |
| End date: | July 31, 2021 |
| Field of knowledge: | Humanities - Philosophy - Logic |
| Principal Investigator: | Marcelo Esteban Coniglio |
| Grantee: | Aldo Figallo Orellano |
| Host Institution: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
Abstract This project intends to continue the studies [10, 11] that were developed from March to October of this year while the candidate was a visiting professor at the Centre for Logic, Epistemology and History of Science at the University of Campinas. This project aims to develop a semantic study of the Logics of Formal Inconsistency (LFIs), by using new non-deterministic semantics of algebraic type. Many LFIs do not admit algebraization in the Blok-Pigozzi sense, but allow a generalized Lindenbaum-Tarski process via some structures called F-structures, which are traditional algebras equipped with a family of subsets of their supports (see [6]). Also, these logics allow semantics by means of hyperalgebras; specifically, a kind of non-deterministic algebras called swap structures ([6]). Hyperalgebras have been very much studied in Mathematics and Computer Science, but a formal study of the point of view of formal logic is still incipient. Being so, the main purpose of this project is to develop an algebraic-like theory for LFIs' F-structures semantics, as well as a study of their swap structures using tools from abstract algebraic logic. This study will allow to better understand the semantical relationship between logics and algebraic-relational strutures through non-determinism. (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) | |