Non-deterministic algebraization of logics by swap structures ME Coniglio, A Figallo-Orellano, AC Golzio Logic Journal of the IGPL 2, 1-39, 2018 | 27 | 2018 |
A Brief Historical Survey on Hyperstructures in Algebra and Logic AC Golzio South American Journal of Logic, 2019 | 18 | 2019 |
Swap structures semantics for Ivlev-like modal logics ME Coniglio, AC Golzio Soft Computing, 2019 | 15 | 2019 |
Non-deterministic matrices: theory and applications to algebraic semantics ACJ Golzio Unicamp, 2017 | 7 | 2017 |
Towards an hyperalgebraic theory of non-algebraizable logics ME Coniglio, A Figallo-Orellano, AC Golzio | 3 | 2016 |
Non-deterministic algebras and algebraization of logics AC de Jesus Golzio, ME Coniglio | 3 | 2015 |
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 | 2 | 2011 |
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 | | |