Non-deterministic model for paraconsistent set theory

• 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 aims to continue the studies developed while the candidate was post-doctoral researcher at the Centre for Logic, Epistemology and the History of Science(CLE), from the University of Campinas (UNICAMP), with a grant from FAPESP.

Scientific publications

(9)

(The scientific publications listed on this page originate from the Web of Science or SciELO databases. Their authors have cited FAPESP grant or fellowship project numbers awarded to Principal Investigators or Fellowship Recipients, whether or not they are among the authors. This information is collected automatically and retrieved directly from those bibliometric databases.)

ESTEVA, F.; FIGALLO-ORELLANO, A.; FLAMINIO, T.; GODO, L.. Logics of formal inconsistency based on distributive involutive residuated lattices. JOURNAL OF LOGIC AND COMPUTATION, v. 31, n. 5, p. 1226-1265, JUL 2021. (16/21928-0)

FIGALLO-ORELLANO, ALDO; SLAGTER, JUAN SEBASTIAN. Monteiro's algebraic notion of maximal consistent theory for Tarskian logics. FUZZY SETS AND SYSTEMS, v. 445, p. 33-pg., 2022-07-27. (16/21928-0)

FIGALLO-ORELLANO, A.; PEREZ-GASPAR, M.; BARCENAS, E.. Fidel Semantics for Propositional and First-Order Version of the Logic of CG(3)'. LOGIC AND LOGICAL PHILOSOPHY, v. N/A, p. 18-pg., 2022-05-24. (16/21928-0)

CONIGLIO, MARCELO ESTEBAN; FIGALLO-ORELLANO, ALDO; HERNANDEZ-TELLO, ALEJANDRO; PEREZ-GASPAR, MIGUEL. G(3)' AS THE LOGIC OF MODAL 3-VALUED HEYTING ALGEBRAS. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, v. 9, n. 1, p. 175-197, JAN 2022. (16/21928-0)

FIGALLO ORELLANO, ALDO; PASCUAL, INES. On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras. STUDIA LOGICA, v. 107, n. 4, p. 591-611, AUG 2019. (16/21928-0)

CONIGLIO, MARCELO E.; FIGALLO-ORELLANO, ALDO; GOLZIO, ANA C.. First-order swap structures semantics for some logics of formal inconsistency. JOURNAL OF LOGIC AND COMPUTATION, v. 30, n. 6, p. 1257-1290, SEP 2020. (16/21928-0, 19/08442-9)

CONIGLIO, MARCELO E.; FIGALLO-ORELLANO, ALDO; GOLZIO, ANA CLAUDIA. Non-deterministic algebraization of logics by swap structures. LOGIC JOURNAL OF THE IGPL, v. 28, n. 5, p. 1021-1059, OCT 2020. (16/21928-0, 13/04568-1)

FIGALLO-ORELLANO, ALDO; PEREZ-GASPAR, MIGUEL; MANUEL RAMIREZ-CONTRERAS, JUAN. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras. STUDIA LOGICA, v. 110, n. 5, p. 35-pg., 2022-05-28. (16/21928-0)

FIGALLO-ORELLANO, ALDO; SEBASTIAN SLAGTER, JUAN. An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued Lukasiewicz Logic. Comp. y Sist., v. 26, n. 2, p. 13-pg., 2022-01-01. (16/21928-0)