Ana Claudia de Jesus Golzio

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• CHAVES, M. E. D. ; SOARES, L. G. D. ; BARROS, G. H. V. ; PESSOA, A. L. F. ; ELIAS, R. O. ; GOLZIO, A. C. ; CONCEICAO, K. V. ; MORAIS, F. J. O. . Mixing Data Cube Architecture and Geo-Object-Oriented Time Series Segmentation for Mapping Heterogeneous Landscapes. Agriengineering , v. 7, p. 19, 2025.

• BUZO, RICARDO FONSECA ; DE OLIVEIRA VILIBOR, HELITON ; RODARTE RICCIARDI, TIAGO ; FILHO DA COSTA CASTRO, JOSÉ ; CLAUDIA GOLZIO, ANA ; MATULOVIC, MARIANA ; JOSÉ DE OLIVEIRA MORAIS, FLÁVIO . Frequency Response Assessment of Distribution Feeders With Capacitor Banks for Voltage Harmonic Mitigation: A Practical Approach With Field Measurements. IEEE Access , v. 13, p. 70616-70625, 2025.

• DE ARAUJO FEITOSA, HÉRCULES ; MATULOVIC, MARIANA ; GOLZIO, ANA CLAUDIA DE J. . A basic epistemic logic and its algebraic model. INTERMATHS: Revista de Matemática Aplicada e Interdisciplinar , v. 4, p. 28-37, 2023.

• FEITOSA, H. A. ; GOLZIO, ANA CLAUDIA ; SOARES, M. R. . Sobre o operador de fecho, um conceito que permeia muitos e distintos tópicos matemáticos. INTERMATHS , v. 3, p. 107-124, 2022.

• GOLZIO, A. ; PUERTA-DÍAZ, M. ; MARTÍNEZ-ÁVILA, D. . A Fuzzy Logic Model for the Analysis of Social Corporate Responsibility. Eai Endorsed Transactions On Scalable Information Systems , v. 8, p. 170556, 2021.

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; GOLZIO, A. C. . First-order swap structures semantics for some logics of formal inconsistency. JOURNAL OF LOGIC AND COMPUTATION , p. 1257-1290, 2020.

• CONIGLIO, MARCELO E ; FIGALLO-ORELLANO, ALDO ; Golzio, Ana Claudia . Non-deterministic algebraization of logics by swap structures1. LOGIC JOURNAL OF THE IGPL , v. 28, p. 1021-1059, 2020.

• CONIGLIO, MARCELO E. ; Golzio, Ana Claudia . Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING , v. 23, p. 2243-2254, 2019.

• GOLZIO, A. C. . A Brief Historical Survey on Hyperstructures in Algebra and Logic. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 1-29, 2018.

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; GOLZIO, A. C. J. . Towards an hyperalgebraic theory of non-algebraizable logics. CLE e-Prints (Online) , v. 16, p. 1-27, 2016.

• FEITOSA, H. A. ; CRUZ, G. A. ; GOLZIO, A. C. J. . Um novo sistema de axiomas para a lógica paraconsistente J3. REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA , v. 4, p. 16-29, 2015.

• GOLZIO, A. C. J. . Formalizando a noção de 'poucos' via tableaux. COGNITIO-ESTUDOS (PUC-SP. ONLINE) , v. 9, p. 149-160, 2012.

• GOLZIO, A. C. J. ; RODRIGUES, A. P. . A lógica TK em dedução natural, cálculo de sequentes e tableaux. KÍNESIS (MARÍLIA) , v. 2, p. 285-311, 2010.

• GOLZIO, A. C. ; PUERTA-DIAZ, M. . A Model for Analysis of Environmental Accidents Based on Fuzzy Logic.. In: Edgar Bisset Álvarez. (Org.). ata and Information in Online Environments. DIONE 2021. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. 1ed.Cham: Springer, 2021, v. 378, p. 313-327.

• GOLZIO, A. C. J. ; CONIGLIO, M. E. . Non-deterministic algebras and algebraization of logics. In: Marcelo Carvalho, Celso Braida, João Carlos Salles, Marcelo Esteban Coniglio. (Org.). Filosofia da linguagem e da lógica. 1ed.São Paulo: ANPOF, 2015, v. 1, p. 327-346.

• GOLZIO, A. C. J. . Uma formalização para o termo "poucos" em sistemas lógicos dedutivos. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. 1ed.Florianópolis, SC: NEL - Núcleo de Epistemologia e Lógica Universidade Federal de Santa Catarina, 2014, v. 1, p. 71-82.

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; ANA CLAUDIA GOLZIO . Multialgebraic First-Order Structures for QmbC. In: Syntax Meets Semantics 2019 - SYSMICS, 2019, Amsterdam. SYSMICS 2019 Syntax Meets Semantics, 2019. p. 62-65.

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; GOLZIO, A. C. J. . Multialgebraizing logics by swap structures. In: Syntax Meets Semantics - SYSMICS2016, 2016, Barcelona. SYSMICS2016 Booklet of Abstracts, 2016. v. 1. p. 66-69.

• SILVESTRINI, L. H. C. ; GOLZIO, A. C. J. . Relações entre tableaux para formalizar a noção de ?poucos? em ambiente proposicional e de primeira ordem. In: CMAC - Congresso de Matemática Aplicada e Computacional, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013, 2013.

• GOLZIO, A. C. J. ; FEITOSA, H. A. . Uma versão da lógica TK em dedução natural. In: DINCON'09 - 8 th Brasilian Congress on Dynamics, Control and Applications, 2009, Bauru/SP. Proceedings of the 8 th Brazilian Conference on Dynamics, Control and Applications - DINCON'09, 2009. v. 8.

• VAINE, C. A. ; GOLZIO, A. C. J. ; FEITOSA, H. A. . Elementos algébricos para a formalização do termo 'muitos'. In: DINCON'09 - 8 th Brasilian Congress on Dynamics, Control and Applications, 2009, Bauru/SP. Proceedings of the 8 th Brazilian Conference on Dynamics, Control and Applications - DINCON'09, 2009. v. 8.

• GOLZIO, A. C. J. ; OLIVEIRA, K. E. C. S. ; RODRIGUES, A. P. ; FEITOSA, H. A. . A system of Natural Deduction for the Propositional Logig of the Plausible. In: 8th Brazilian International Meeting of Cognitive Science - EBICC2009, 2009. Proceedings of the 8th Brazilian International Meeting of Cognitive Science - EBICC2009, 2009.

• GOLZIO, A. C. J. . Uma versão da Lógica TK em tableaux.. In: XX CIC Congresso de Iniciação Científica, 2008, São José dos Campos/SP. XX CIC Congresso de Iniciação Científica, 2008.

• GOLZIO, A. C. J. . O cálculo proposicional clássico em tableaux. In: XIX CIC Congresso de Iniciação Científica, 2007, Presidente Prudente/SP. XIX Congresso de Iniciação Científica, 2007.

• GOLZIO, A. C. J. . O necessário e possível nas teorias formalizadas. In: XVIII CIC Congresso de Iniciação Científica, 2006, Bauru/SP. XVIII CIC Congresso de Iniciação Científica, 2006.

• Romanini, A. V. ; GOLZIO, A. C. . Uma proposta de lógica fuzzy baseada na chance dos eventos experimentados. In: VI Congresso da SBFA: Filosofia Analítica no Século XXI: Novos Desenvolvimentos, 2020, Porto Alegre. Caderno de Resumos Filosofia Analítica no Século XXI: Novos Desenvolvimentos. Porto Alegre: Editorial Philosophia, 2020. p. 41-41.

• GOLZIO, A. C. ; GONZALEZ, M. E. Q. ; FEITOSA, H. A. . Aspectos da implicação fuzzy na análise de Big Data. In: XII Encontro Brasileiro Internacional de Ciência Cognitiva - EBICC, 2019, Campinas. Anais do XII Encontro Brasileiro Internacional de Ciência Cognitiva - EBICC, 2019.

• ANDRADE, L. F. C. ; GOLZIO, A. C. . O método científico de fixação de crenças enquanto processo auto-organizado. In: 19o Encontro Internacional sobre Pragmatismo, 2019, São Paulo. 19o. Encontro Internacional sobre Pragmatismo. São Paulo: Centro de Estudos do Pragmatismo - PUCSP, 2019. v. 19. p. 79-80.

• GOLZIO, A. C. J. . Swap structures for some non-normal modal logics. In: Third Workshop CLE ? Buenos Aires Logic Group, 2016, Buenos Aires. ABSTRACTS, 2016.

• GOLZIO, A. C. J. ; CONIGLIO, M. E. . On non-deterministic algebras. In: 5th World Congress on Universal Logic - UNILOG, 2015, Istambul, Turquia. Handbook of the 5th World Congress on Universal Logic, 2015. p. 374-374.

• GOLZIO, A. C. J. ; CONIGLIO, M. E. . Sobre a História das Hiperestruturas. In: 9th Principia International Symposium, 2015, Florianópolis, SC. Abstracts of the IX Principia International Symposium. Florianópolis, SC: NEL Federal University of Santa Catarina, 2015. p. 11-12.

• GOLZIO, A. C. J. . Uma formalização para o termo ?poucos? em sistemas lógicos dedutivos. In: VIII SIMPÓSIO INTERNACIONAL PRINCIPIA: A Filosofia de Hilary Putnam, 2013, Florianópolis. Caderno de Resumos do VIII SIMPÓSIO INTERNACIONAL PRINCIPIA: A Filosofia de Hilary Putnam, 2013. v. VII. p. 16-17.

• GOLZIO, A. C. J. . A propositional logic for the term 'few' presented in a natural deduction system. In: Unilog'2013 - 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Kelps, 2013. p. 318-319.

• GOLZIO, A. C. J. . Uma Lógica Proposicional para formalização da noção de 'poucos'. In: XV Encontro Nacional ANPOF, 2012, Curitiba. Anais de Resumos do XV Encontro Nacional de Filosofia da ANPOF. São Paulo: ANPOF, 2012. v. 15. p. 50-50.

• GOLZIO, A. C. J. . Uma Lógica Proposicional para o termo 'poucos' apresentada em um sistema de tableaux. In: 13º Encontro Internacional sobre Pragmatismo, 2011, São Paulo. Encontro Internacional Sobre Pragmatismo. São Paulo: Centro de Estudos de Pragmatismo, 2011. v. 13. p. 49-50.

• GOLZIO, A. C. J. . Alguns resultados sobre conjuntos fechados inferiormente. In: XIV Encontro Nacional de Pós-graduação em Filosofia, 2010, Águas de Lindóia. Atas do XIV Encontro Nacional de Filosofia. Campinas: Associação Nacional de Pós-graduação em Filosofia (ANPOF), 2010. v. 14. p. 38-38.

• GOLZIO, A. C. J. ; FEITOSA, H. A. . Uma versão da lógica TK em dedução natural. In: DINCON'09 - 8 th Brasilian Congress on Dynamics, Control and Applications, 2009, Bauru. Booklet of Abstracts - DINCON'09 - 8 th Brazilian Conference on Dynamics, Control and Applications, 2009.

• VAINE, C. A. ; GOLZIO, A. C. J. ; FEITOSA, H. A. . Elementos algébricos para a formalização do termo 'muitos'. In: DINCON'09 - 8 th Brasilian Congress on Dynamics, Control and Applications, 2009, Bauru/SP. Booklet of Abstracts - DINCON'09 - 8 th Brazilian Conference on Dynamics, Control and Applications, 2009.

• GOLZIO, A. C. J. ; FEITOSA, H. A. . A decidibilidade da Lógica TK por tableaux.. In: XV Fórum Anual de Iniciação Científica, 2008, Bauru/SP. XV Fórum Anual de Iniciação Científica, 2008.

• TERASAWA, A. T. ; SILVESTRINI, L. H. C. ; Golzio, Ana Claudia . Modelo fuzzy para aferir a suscetibilidade de jovens em relação à desinformação.. REVISTA ELETRÔNICA PAULISTA DE MATEMÁTICA , 2025.

• Golzio, Ana Claudia ; CONIGLIO, M. E. . Multialgebras? evolution: from mathematics to logic and artificial intelligence. 2025. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. . Transtornos Causados por Jogos On-line. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• GOLZIO, A. C. ; Romanini, A. V. . Uma proposta de lógica fuzzy baseada na chance dos eventos experimentados. 2020. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. ; GONZALEZ, M. E. Q. ; FEITOSA, H. A. . ASPECTOS DA IMPLICAÇÃO FUZZY NA ANÁLISE DE BIG DATA. 2019. (Apresentação de Trabalho/Comunicação).

• GOLZIO, A. C. ; GONZALEZ, M. E. Q. ; FEITOSA, H. A. . Lógica fuzzy e a análise de Big Data. 2019. (Apresentação de Trabalho/Outra).

• ANDRADE, L. F. C. ; GOLZIO, A. C. . O método científico de fixação de crenças enquanto processo auto-organizado. 2019. (Apresentação de Trabalho/Outra).

• GOLZIO, A. C. J. . About algebraization of some systems not algebraizable by standard methods. 2018. (Apresentação de Trabalho/Congresso).

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; GOLZIO, A. C. . Swap structures semantics for first-order paraconsistent logics. 2018. (Apresentação de Trabalho/Comunicação).

• GOLZIO, A. C. J. . First-order swap structures semantics for Qmbc. 2018. (Apresentação de Trabalho/Seminário).

• CONIGLIO, M. E. ; FIGALLO-ORELLANO, A. ; GOLZIO, A. C. J. . Multialgebraizing logics by swap structures. 2016. (Apresentação de Trabalho/Congresso).

• CONIGLIO, M. E. ; GOLZIO, A. C. J. . Swap structures for some non-normal modal logics. 2016. (Apresentação de Trabalho/Congresso).

• CONIGLIO, M. E. ; GOLZIO, A. C. J. . Multiálgebras, matrizes não determinísticas e semântica algébrica. 2016. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. ; CONIGLIO, M. E. . On non-deterministic algebras. 2015. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. ; CONIGLIO, M. E. . Sobre a História das Hiperestruturas. 2015. (Apresentação de Trabalho/Simpósio).

• GOLZIO, A. C. J. . Algebras não-determinísticas e algebrização de lógicas. 2014. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . Uma formalização para o termo ?poucos? em sistemas lógicos dedutivos. 2013. (Apresentação de Trabalho/Simpósio).

• GOLZIO, A. C. J. . A Propositional Logic for the term 'few' presented in a Natural Deduction System. 2013. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . Uma Lógica Proposicional para formalização da noção de 'poucos'. 2012. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . Uma Lógica Proposicional para o termo 'poucos' apresentada em um sistema de tableaux. 2011. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . Alguns resultados sobre conjuntos fechados inferiormente. 2010. (Apresentação de Trabalho/Comunicação).

• GOLZIO, A. C. J. . Uma versão da lógica TK em dedução natural. 2009. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. ; OLIVEIRA, K. E. C. S. ; RODRIGUES, A. P. ; FEITOSA, H. A. . A System of Natural Deduction for the Propositional Logic of the Plausible. 2009. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. ; FEITOSA, H. A. . A independência dos axiomas da Lógica Proposicional do Plausível. 2009. (Apresentação de Trabalho/Outra).

• GOLZIO, A. C. J. . Uma versão da Lógica TK em tableaux.. 2008. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . O cálculo proposicional clássico em tableaux. 2007. (Apresentação de Trabalho/Congresso).

• GOLZIO, A. C. J. . O necessário e possível nas teorias formalizadas.. 2006. (Apresentação de Trabalho/Congresso).

Outras produções

Projetos de pesquisa

• 2025 - Atual

  Uma investigação de hiper-reticulados fuzzy com aplicação na inteligência artificial, Descrição: As multíálgebras constituem uma generalização das estruturas algébricasclássicas, obtida por meio da extensão do conceito tradicional de operação. Aorigem dessas estruturas remonta a 1934, quando o matemático francês FrédéricMarty introduziu uma definição ampliada de grupo, fundamentada nanoção de multioperação uma operação que, ao invés de associar a cada parde elementos um único resultado, retorna um conjunto de valores. Com essetrabalho, Marty inaugurou uma nova linha de investigação algébrica, que viriaa influenciar diversos desenvolvimentos subsequentes. O conceito de hiperreticuladofoi introduzido em 1953 pelo algebrista romeno Mihail Benado, eposteriormente aprofundado por autores como Hansen e Morgado. A definiçãoproposta por Morgado se destaca por sua clareza e caráter intuitivo,especialmente quando comparada à definição clássica de reticulado. Nesteprojeto, propomos desenvolver novos resultados na teoria algébrica dos hiperreticuladosfuzzy, fundamentando-nos na definição clássica de reticulóides deMorgado. Nosso objetivo é explorar o potencial dessas estruturas no contextoda inteligência artificial, ampliando suas aplicações teóricas e computacionais.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador / Marcelo Esteban Coniglio - Integrante.

• 2024 - Atual

  Analise de áreas queimadas através da generalização hierárquica do algoritmo FCM, Descrição: O algoritmo fuzzy c-means (FCM) apesar de ser um algoritmo eficaz para a segmentação de imagens ainda possui limitações que justificam a introdução de dois novos algoritmos: o GFCM que é uma generalização do FCM e o HFCM que é uma hierarquia do FCM. Alguns autores combinam esses dois algoritmos para introduzir um novo FCM hierárquico generalizado (GHFCM). Devido a eficiência do GHFCM pretendemos, neste projeto, aplicar o algoritmo para aprimorar a analise de áreas queimadas a partir de imagens coletadas via satélites.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Ana Claudia de Jesus Golzio - Coordenador.

• 2024 - Atual

  Contribuições a partir de sistemas não clássicos para o gerenciamento de inferências (raciocínio) e tomada de decisão, Descrição: A inteligência artificial necessita de uma considerável utilização da lógica, uma vez que a lógica é o principal formalismo de representação do conhecimento, sendo útil no desenvolvimento de sistemas inteligentes, em especial os especialistas e os multiagentes, visto que, de acordo com Luger (2005) e Konar (2000), a imprecisão dos dados e a incerteza do conhecimento são parte do problema em si, sendo o real desafio da inteligência artificial, e raciocinar considerando esses aspectos sem uma fundamentação adequada pode ocasionar imprecisões nas inferências obtidas. No campo da inteligência artificial, as lógicas não clássicas são vastamente utilizadas, dentre as possibilidades, destacamos a lógica fuzzy, pois esta configura-se como um mecanismo fundamental quando buscamos representar o pensamento e o raciocínio, devido a possibilidade de trabalhar com incertezas, raciocínio aproximado, termos vagos e ambíguos, que são as maneiras pelas quais as pessoas expressam seus pensamentos. O uso da lógica fuzzy, nos possibilita incorporar uma certa imprecisão a um problema. Uma questão atual acerca da aplicação da lógica fuzzy é que por meio desta, torna-se exequível a manipulação de dados e a execução de inferências considerando um universo de discurso maior do que o que seria possível utilizando somente lógicas clássicas. A partir disso, surgiram os sistemas de inferência baseado em regras fuzzy (SBRF). Um SBRF consiste em quatro módulos conectados, sendo eles: fuzzificação, regras, inferência e defuzzificação. Os conjuntos fuzzy, são bastante utilizados para construção de modelos computacionais de análise de dados que lidam com informações desse tipo. Os sistemas baseados em regras fuzzy permitem o tratamento e manipulação de informações incertas, vagas e imprecisas, as quais estão representadas por uma família de conjuntos fuzzy (cf. ZADEH, 2007). Para Castillo e Melin (2008), sistemas especialistas que utilizam lógica fuzzy vem sendo aplicados com sucesso nos problemas de decisão, controle diagnóstico e classificação, pois esses sistemas possuem a capacidade de gerenciar o raciocínio complexo presente nas áreas de aplicação. Os sistemas especialistas são compostos por uma base de dados, ou base de conhecimento, sendo um banco de informações retiradas de um domínio em estudo por especialistas, onde é representado o conhecimento possuído por eles sobre o domínio do problema, contendo os dados e as formas de condução para identificação e solução de um determinado problema e um mecanismo de inferência (raciocínio), que atua como um processador e trabalha com as informações fornecidas pela base de dados em função dos dados do problema abordado. A utilização da lógica fuzzy na modelagem e em ações de tomada de decisão se viu crescente com o trabalho realizado por Mamdani e Assilian (1975), onde foi proposto um sistema fuzzy controlador para sintetizar o processo de tomada de decisão de um operador industrial habilitado, adotando um processo de decisão baseado em regras fuzzy. Nas regras, tanto o antecedente quanto o consequente são compostos de proposições que definem valores de variáveis como termos linguísticos (KLIR; YUAN, 1995). Proporemos investigar aqui os chamados sistemas especialistas que utilizam lógica fuzzy, e que vêm sendo aplicados com sucesso nos problemas de decisão, controle diagnóstico e classificação, enfatizando a arquitetura desses sistemas, seus módulos constituintes, os quais possuem a capacidade de gerenciar um tipo de raciocínio complexo presente em diversas áreas de aplicação. Para além dos sistemas fuzzy, buscaremos utilizar sistemas modais aléticos, pois estes também apresentam aplicações em diversas áreas, como, por exemplo, no uso de provadores automatizados de teoremas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Claudia de Jesus Golzio - Integrante / Hércules de Araujo Feitosa - Integrante / Luiz Henrique da Cruz Silvestrini - Coordenador / Giovanna Dias Cardoso - Integrante.

• 2019 - 2020

  Big Data, dinâmicas sociais e línguas naturais, Projeto certificado pelo(a) coordenador(a) Maria Eunice Quilici Gonzalez em 27/10/2023., Descrição: Neste projeto de pós-doutoramento, o bolsista irá participar da equipe brasileira auxiliando no desenvolvimento do projeto "Compreendendo a dinâmica da opinião e da linguagem utilizando Big Data (projeto T-AP). EspeciDcamente, o bolsista irá trabalhar com os membros da equipe brasileira na parte do projeto T-AP que envolve pesquisa sobre a evolução da linguagem por meio de análise Big Data. O bolsista contribuirá com a investigação trazendo conhecimento de linguística e semiótica, além de colaborar no desenvolvimento de modelos computacionais sobre a dinâmica de evolução da linguagem, investigando a seguinte pergunta: Podem os recursos dos big data serem usados para trazer evidências relevantes em apoio à hipótese de que as línguas naturais possuem as características centrais dos sistemas semióticos complexos?. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Integrante / Maria Eunice Quilici Gonzalez - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Bolsa.

• 2018 - 2019

  Um estudo formal da semântica de multiálgebras para lógicas não-clássicas., Projeto certificado pelo(a) coordenador(a) Marcelo Esteban Coniglio em 23/12/2020., Descrição: A proposta deste projeto é continuar desenvolvendo a teoria formal das estruturas swap de maneira a resolver importantes questões que ficaram em aberto. Uma dessas questões é desenvolver um estudo do conceito de variedade e de quase-variedade na teoria das multiálgebras com o objetivo de axiomatizar uma dada classe de estruturas swap como uma classe de multiálgebras satisfazendo certas (quase) equações, como é feito na teoria das estruturas twist. Além disso pretendemos investigar a validade do Teorema de Birkhoff utilizando estas ferramentas da lógica algébrica abstrata. Pretendemos ainda desenvolver estruturas swap para lógicas de primeira ordem com base nas matrizes não-determinísticas de Avron e seus colaboradores, assim como para lógicas modais não-normais que investigamos anteriormente.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Integrante / Marcelo Esteban Coniglio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2013 - 2017

  Matrizes não-determinísticas: teoria e aplicações à semântica algébrica, Projeto certificado pelo(a) coordenador(a) Marcelo Esteban Coniglio em 23/09/2020., Descrição: As Matrizes não-determinísticas (Nmatrizes) são uma generalização do conceito usual de matriz multivalorada. Entretanto, nas Nmatrizes, o valor de verdade de uma determinada fórmula complexa pode ser escolhido não-deterministicamente a partir de um certo conjunto não-vazio de opções, enquanto que nas matrizes lógicas usuais (bivaloradas ou multivaloradas) o valor de verdade de uma fórmula complexa é determinado unicamente pelo valor de verdade das suas subfórmulas. Uma importante utilidade das Nmatrizes é o fato delas servirem de semântica finitária, e portanto decidível, para muitas das lógicas que possuem apenas uma matriz característica infinita como semântica. Sendo assim, o presente projeto visa desenvolver inicialmente um estudo aprofundado das matrizes lógicas usuais e das Nmatrizes, estudo este que será feito sob a perspectiva de comparação a fim de identificar propriedades das matrizes usuais que as Nmatrizes não possuem e vice-versa. Em particular, vamos concentrar nossos esforços no estudo da chamada lógica algébrica abstrata, inaugurada por W. Blok e D. Pigozzi, visando estender as técnicas envolvendo matrizes usuais para o contexto mais geral das Nmatrizes. Além de contribuir para a formulação de uma teoria estendida das Nmatrizes, este projeto pretende utilizar os novos resultados obtidos relacionados às Nmatrizes, juntamente com aqueles já existentes na literatura, para apresentar uma semântica algébrica de Nmatrizes finitas para algumas lógicas modais e algumas lógicas paraconsistentes tais como os sistemas Cn de da Costa que não possuem semântica algébrica no sentido geral de Blok-Pigozzi, resolvendo, assim um problema em aberto na literatura.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Integrante / CONIGLIO, MARCELO E. - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

• 2009 - 2011

  Elementos algébricos para a noção de ?poucos? e sua formalização em sistemas lógicos dedutivos., Descrição: Este projeto investiga os elementos algébricos necessários para a formalização da noção de ?poucos? e apresenta uma álgebra para ?poucos? e uma lógica proposicional para "poucos" nos sistemas: hilbertiano e tableaux.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2008 - 2008

  A decidibilidade da Lógica Proposicional para Muitos., Descrição: Este projeto investiga amplamente a Lógica Proposicional para Muitos e suas principais propriedades.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico/PIBIC - Bolsa.

• 2007 - 2008

  Uma versão da Lógica TK em tableaux., Descrição: Este projeto apresentar a lógica proposicional TK em um sistema de tableaux analíticos e mostrar sua equivalência com a versão axiomática da lógica proposicional TK.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico/PIBIC - Bolsa.

• 2006 - 2007

  O cálculo proposicional clássico em tableaux., Descrição: Este projeto investiga sistemas de tableaux e estabelece a equivalência entre um sistema de tableaux e o cálculo proposicional clássico apresentado.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador.

• 2005 - 2006

  O necessário e possível nas teorias formalizadas., Descrição: Este projeto investiga elementos da história da lógica modal, algumas reflexões de cunho filosófico e apresenta os modelos relacionais de Kripke para as lógicas modais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Claudia de Jesus Golzio - Coordenador.

Projetos de desenvolvimento

• 2020 - 2021

  Inteligência Artificial, Lógica e Humanidades, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Cláudia de Jesus Golzio - Integrante / Walter Alexandre Carnielli - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2020 - 2021

  Inteligência Artificial, Lógica e Humanidades, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ana Claudia de Jesus Golzio - Integrante / Walter Alexandre Carnielli - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios