área de pesquisa
- A lógica da verdade pragmática em um sistema de tableaux
- A lógica do Muito em um sistema de tablôs.
- A new tableaux system for KD
- An algebraic model for the modal logic KD
- Aspectos lógicos e algébricos dos conjuntos 'fuzzy'
- Conceitos essenciais da lógica
- Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos.
- Hércules de Araujo Feitosa
- O positivismo e o direito: a semântica construtiva
- QUASE-VERDADE E PRAGMATISMO
- Reticulados distributivos com uma adjunção
- Sobre quantificadores: uma formalização do quantificador "quase sempre"
- Tableaux e indução na lógica do plausível
- Traduções Conservativas
- Two deductions systems for the logic PM4N
- Um modelo algébrico do quantificador da Ubiquidade
- Um modelo algébrico para a lógica do muito
- Uma lógica do