A Lógica do Muito descrita em um sistema de Tablôs

by Mariana Matulovic, Hércules de Araujo Feitosa
Published 2021-07-01

Lógica intuicionista I1: correção e completude

by Pedro Henrique Paiola, Hércules de Araujo Feitosa
Published 2020-02-01

Da dedução para a álgebra

by Hércules de Araujo Feitosa, Marcelo Reicher Soares
Published 2017-12-01

A Neighbourhood Semantics for the Logic TK

by Cezar A. Mortari, Hércules de Araújo Feitosa
Published 2011-05-01

A Neighbourhood Semantics for the Logic TK

by Hércules de Araújo Feitosa, Cezar A. Mortari
Published 2011-08-01

A new tableaux system for KD

by Romulo Albano de Freitas, Hércules de Araujo Feitosa
Published 2020-12-01

Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux

by Helen Gomes da Silva, Hércules de Araujo Feitosa
Published 2016-12-01

Pseudo-topologia, lógica do plausível e modelo relacional

by Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa
Published 2019-12-01

Espaços pseudo-topológicos e descrições do conceito de plausível

by Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa
Published 2016-07-01

Sobre a compacidade lógica e topológica

by Hércules de Araujo Feitosa, Mauri Cunha do Nascimento, Marcelo Reicher Soares
Published 2013-12-01

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

by Hércules de Araujo Feitosa, Gabriel Alexandre da Cruz, Ana Cláudia de Jesus Golzio
Published 2015-08-01