Semânticas não-determinísticas para as lógicas da inconsistência formal

• Processo: 16/21928-0
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de abril de 2017
• Data de Término da vigência: 31 de julho de 2021
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Aldo Figallo Orellano
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica algébrica Semântica
• Palavra(s)-Chave do Pesquisador: Logics of Formal Inconsistency | Multialgebras | Non-deterministic semantics | Paraconsistency | Set theory | Swap structures | Lógica algebrica

Resumo

O presente projeto visa continuar os estudos [10, 11] que foram desenvolvidos de março a outubro deste ano enquanto o candidato estava como professor visitante no Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas. Este projeto tem como objetivo desenvolver um estudo semântico das lógicas da inconsistência formal (Logics of Formal Inconsistency, LFIs), utilizando novas semânticas não-determinísticas de tipo algébrico. Muitas LFIs não permitem uma algebrização no sentido Blok-Pigozzi, mas permitem um processo generalizado de Lindenbaum-Tarski via estruturas chamadas de F-estruturas, que são álgebras tradicionais equipadas com uma família de subconjuntos do seu suporte (ver [6]). Adicionalmente, estas lógicas fornecem uma semântica através de hiperálgebras; especificamente, um tipo especial de álgebras não-determinísticas, chamadas de swap structures ([6]). As hiperálgebras têm sido intensamente estudadas nas áreas da Matemática e da Ciência da Computação, mas seu estudo formal do ponto de vistada lógica formal é ainda incipiente. Portanto, o principal objetivo deste projeto é desenvolver uma teoria de tipo algébrico para a semântica de F-estruturas para as LFIs, assim como estudar as suas swap structures usando ferramentas da lógica algébrica abstrata. Este estudo permitirá entender melhor a relação semântica entre lógicas e estruturas algébrico-relacionais através do não-determinismo. (AU)

Publicações científicas

(9)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

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)

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 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, 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)

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)

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)

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; 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)

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)