Personal information

Multialgebra, Hyperalgebra, algebraic semantics, logic, non-classical logics, non-determinism, algebraic structures, algebraic logic, algebraization of logics, swap structures, hypergroups, modal logics
Brazil

Biography

Ana Claudia Golzio holds a Bachelor's degree in Mathematics from Universidade Estadual Paulista “Júlio de Mesquita Filho” (UNESP) (2008), a Master's degree in Logic, also from UNESP (2011), and a Ph.D. in Philosophy from Universidade Estadual de Campinas (UNICAMP) (2017). She completed postdoctoral research at UNICAMP (2019) and UNESP (2020). Currently, she serves as an Assistant Professor at the School of Sciences and Engineering at São Paulo State University (UNESP), Tupã, Brazil, holding a permanent position in the field of Artificial Intelligence and Machine Learning. She is a member of the editorial board of the international scientific journal “South American Journal of Logic” and the coordinator of the CNPq-affiliated research group “Non-Classical Systems Applied to Intelligent Computing” (SINACI). Her main research areas include the foundations of computing, formal semantics, algebraic logic, multi-algebras, hyperstructures, non-classical logics, fuzzy logic, data analysis, big data, and artificial intelligence.

Activities

Employment (2)

São Paulo State University: São Paulo, BR

2024-07-01 to present | Assistant Professor (Biosystems Engineering)
Employment
Source: Self-asserted source
Ana Claudia Golzio

Universidade Estadual de Campinas: Campinas, SP, BR

2018-03-01 to 2019-02-28 | Pós-doutoranda (CLE)
Employment
Source: Self-asserted source
Ana Claudia Golzio

Education and qualifications (1)

Universidade Estadual de Campinas: Campinas, SP, BR

2012-03 to 2017-03 | Doutorado (Filosofia)
Education
Source: Self-asserted source
Ana Claudia Golzio

Works (24)

Mixing Data Cube Architecture and Geo-Object-Oriented Time Series Segmentation for Mapping Heterogeneous Landscapes

AgriEngineering
2025-01-17 | Journal article
Contributors: Michel E. D. Chaves; Lívia G. D. Soares; Gustavo H. V. Barros; Ana Letícia F. Pessoa; Ronaldo O. Elias; Ana Claudia Golzio; Katyanne V. Conceição; Flávio J. O. Morais
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A basic epistemic logic and its algebraic model

INTERMATHS
2023-12-30 | Journal article
Contributors: Hércules De Araujo Feitosa; Mariana Matulovic; Ana Claudia de J. Golzio
Source: check_circle
Crossref

Sobre o operador de fecho, um conceito que permeia muitos e distintos tópicos matemáticos

INTERMATHS
2022-06-30 | Journal article
Contributors: Hércules De Araujo Feitosa; Ana Claudia Golzio; Marcelo Reicher Soares
Source: check_circle
Crossref

A Fuzzy Logic Model for the Analysis of Social Corporate Responsibility

EAI Endorsed Transactions on Scalable Information Systems
2021 | Journal article
Contributors: Golzio, A. C.; Puerta-Diaz, M.; Martinez-Avila, D.
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

A Model for Analysis of Environmental Accidents Based on Fuzzy Logic: Case Study: Exxon Valdez Oil Spill

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2021 | Conference paper
EID:

2-s2.0-85111381602

Part of ISSN: 1867822X 18678211
Contributors: Golzio, A.C.; Puerta-Díaz, M.
Source: Self-asserted source
Ana Claudia Golzio via Scopus - Elsevier

First-order swap structures semantics for some logics of formal inconsistency

Journal of Logic and Computation
2020-09-04 | Journal article
Part of ISSN: 0955-792X
Part of ISSN: 1465-363X
Source: Self-asserted source
Ana Claudia Golzio
grade
Preferred source (of 3)‎

First-order swap structures semantics for some Logics of Formal Inconsistency

arXiv
2019 | Other
EID:

2-s2.0-85170317829

Part of ISSN: 23318422
Contributors: Coniglio, M.E.; Figallo-Orellano, A.; Golzio, A.C.
Source: Self-asserted source
Ana Claudia Golzio via Scopus - Elsevier

First-order swap structures semantics for some Logics of Formal Inconsistency

ArXiv
2019 | Journal article
Contributors: E. Coniglio, Marcelo; Figallo-Orellano, Aldo; C. Golzio, Ana
Source: check_circle
Web of Science Researcher Profile Sync

Swap structures semantics for Ivlev-like modal logics

Soft Computing
2019 | Journal article
Source: Self-asserted source
Ana Claudia Golzio
grade
Preferred source (of 3)‎

Non-deterministic algebraization of logics by swap structures

Logic Journal of the IGPL
2018 | Journal article
Source: Self-asserted source
Ana Claudia Golzio
grade
Preferred source (of 4)‎

Non-deterministic algebraization of logics by swap structures

arXiv
2017 | Other
EID:

2-s2.0-85170132946

Part of ISSN: 23318422
Contributors: Coniglio, M.E.; Figallo-Orellano, A.; Golzio, A.C.
Source: Self-asserted source
Ana Claudia Golzio via Scopus - Elsevier

Non-deterministic algebraization of logics by swap structures

ArXiv
2017 | Journal article
Contributors: E. Coniglio, Marcelo; Figallo-Orellano, Aldo; C. Golzio, Ana
Source: check_circle
Web of Science Researcher Profile Sync

Non-deterministic algebraization of logics by swap structures

arXiv preprint arXiv:1708.08499
2017 | Journal article
SOURCE-WORK-ID:

0103191628803-11

Contributors: Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana C.
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Non-deterministic matrices: theory and applications to algebraic semantics

2017 | Journal article
SOURCE-WORK-ID:

0103191628803-12

Contributors: Golzio, Ana Claudia de Jesus
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Towards an hyperalgebraic theory of non-algebraizable logics

2016 | Journal article
SOURCE-WORK-ID:

0103191628803-2

Contributors: Coniglio, Marcelo Esteban; Figallo-Orellano, Aldo; Golzio, Ana Claudia
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Non-deterministic algebras and algebraization of logics

2015 | Journal article
SOURCE-WORK-ID:

0103191628803-5

Contributors: de Jesus Golzio, Ana Claudia; Coniglio, Marcelo Esteban
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Um novo sistema de axiomas para a lógica paraconsistente J3

C.Q.D.- Revista Eletrônica Paulista de Matemática
2015 | Journal article
Source: check_circle
Web of Science Researcher Profile Sync

A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX

Kínesis-Revista de Estudos dos Pós-Graduandos em Filosofia
2014 | Journal article
SOURCE-WORK-ID:

0103191628803-10

Contributors: de Jesus Golzio, Ana Claudia; Rodrigues, Angela Pereira
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Formalizando a noção de'poucos' via tableaux

Cognitio-Estudos: revista eletrônica de filosofia. ISSN 1809-8428
2012 | Journal article
SOURCE-WORK-ID:

0103191628803-9

Contributors: de Jesus Golzio, Ana Claudia
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

2011 | Journal article
SOURCE-WORK-ID:

0103191628803-3

Contributors: Golzio, Ana Claudia de Jesus
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX

Journal article
SOURCE-WORK-ID:

0103191628803-8

Contributors: de Jesus Golzio, Ana Claudia; Rodrigues, Angela Pereira
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Relações entre tableaux para formalizar a noção de ‘poucos’ em ambiente proposicional e de primeira ordem

Journal article
SOURCE-WORK-ID:

0103191628803-4

Contributors: Silvestrini, Luiz Henrique C.; Golzio, Ana Cláudia de J.
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Um novo sistema de axiomas para a lógica paraconsistente J3

Journal article
SOURCE-WORK-ID:

0103191628803-6

Contributors: de Araujo Feitosa, Hércules; da Cruz, Gabriel Alexandre; de Jesus Golzio, Ana Cláudia
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID

Uma formalização para o termo poucos em sistemas lógicos dedutivos

Journal article
SOURCE-WORK-ID:

0103191628803-7

Contributors: de Jesus Golzio, Ana Claudia
Source: Self-asserted source
Ana Claudia Golzio via ResearcherID