Ehrenfeucht Fraïssé methods in model theory of F-structures

• Grant number: 24/05117-8
• Support Opportunities: Scholarships in Brazil - Doctorate (Direct)
• Start date: May 01, 2024
• End date: August 31, 2024
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Aldo Figallo Orellano
• Grantee: Pedro Lucas Santos dos Reis
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Associated research grant: 21/04883-0 - Paraconsistent set theory, AP.JP

Abstract

The present project aims to develop Model Theory for a family of logics that are not algebraizable by the general Blok-Pigozzi method and are simultaneously paraconsistent. But they allow semantics through Fidel structures. These semantics were first presented in the early 1970s for da Costa's logics; This work has recently been continued by Odintsov (2003), Carnielli and Coniglio (2016), and Figallo-Orellano (2019, 2021, and 2023). The proposal is one of the central lines of research of the FAPESP Young Researcher project with process 2021/04883-0 where the person responsible is the proposed advisor. (AU)