Seguir
Ana Claudia Golzio
Ana Claudia Golzio
Dirección de correo verificada de dac.unicamp.br - Página principal
Título
Citado por
Citado por
Año
Non-deterministic algebraization of logics by swap structures
ME Coniglio, A Figallo-Orellano, AC Golzio
Logic Journal of the IGPL 2, 1-39, 2018
262018
A Brief Historical Survey on Hyperstructures in Algebra and Logic
AC Golzio
South American Journal of Logic, 2019
172019
Swap structures semantics for Ivlev-like modal logics
ME Coniglio, AC Golzio
Soft Computing, 2019
132019
Non-deterministic matrices: theory and applications to algebraic semantics
ACJ Golzio
Unicamp, 2017
72017
Towards an hyperalgebraic theory of non-algebraizable logics
ME Coniglio, A Figallo-Orellano, AC Golzio
32016
Non-deterministic algebras and algebraization of logics
AC de Jesus Golzio, ME Coniglio
32015
Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
ACJ Golzio
Universidade Estadual Paulista (UNESP), 2011
22011
Swap Structures and non-deterministic algebraization of logics
A Figallo-Orellano, ME Coniglio, AC Golzio
Handbook of the 6th World Congress and School on Universal Logic, 546, 2018
2018
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX
AC de Jesus Golzio, AP Rodrigues
Kínesis-Revista de Estudos dos Pós-Graduandos em Filosofia 2 (04), 2014
2014
Formalizando a noção de'poucos' via tableaux
AC de Jesus Golzio
Cognitio-Estudos: revista eletrônica de filosofia. ISSN 1809-8428 9 (2), 149-160, 2012
2012
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX
AC de Jesus Golzio, AP Rodrigues
Uma formalização para o termo poucos em sistemas lógicos dedutivos
AC de Jesus Golzio
Um novo sistema de axiomas para a lógica paraconsistente J3
H de Araujo Feitosa, GA da Cruz, AC de Jesus Golzio
Relações entre tableaux para formalizar a noção de ‘poucos’ em ambiente proposicional e de primeira ordem
LHC Silvestrini, ACJ Golzio
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–14