Proof-theoretical methods for LFIs and other non-classical logics: decidability and applications

• Grant number: 22/03862-2
• Support Opportunities: Research Grants - Visiting Researcher Grant - International
• Start date: January 16, 2023
• End date: July 15, 2023
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Marcelo Esteban Coniglio
• Visiting researcher: Martin Figallo
• Visiting researcher institution: Universidad Nacional del Sur (UNS), Argentina
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

The objective of this proposal is to investigate and extend (recently developed) proof-theoretic methods to the wide context of Logics of Formal Inconsistency (LFIs for short) and other non-classical logics. The visiting researcher aims to combine his knowledge concerning the above-mentioned methods, with the wide expertise of the host professor in the area of LFIs to give an answer to many proof-theoretical issues concerning LFIs. Also, it is intended to strengthen and deepen the already existing working relationship between the Argentinian logic tradition (Monteiro's school of logic) and the worldwide known Brazilian logic tradition and the Campinas' school of logic. Besides, the visiting researcher intends to profit from his stay at Campinas and discuss both some current ongoing research and joint advising of a PhD student in Argentina. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

FIGALLO, A. V.; FIGALLO-ORELLANO, A.; FIGALLO, M.. Super-Lukasiewicz logics expanded by ⠂. FUZZY SETS AND SYSTEMS, v. 465, p. 26-pg., 2023-05-25. (21/04883-0, 22/03862-2)