área de pesquisa
- Aspectos da lógica funcional paraconsistente
- Direito Comparado: O Juramento Decisório no Direito Italiano e Sua (In)Compatibilidade Com o Modelo Constitucional de Processo Brasileiro
- Em direção aos N-Grafos Intuicionistas
- Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa
- Investigações em Semântica de Teoria da Prova
- Leonardo Bruno Vana
- Lógica e Fundamentos da Matemática
- Marcela Quispe Cruz
- Maria da Paz Nunes de Medeiros
- Milton Augustinis de Castro
- Normalização forte via ordinal natural
- Normalização para os N-Grafos
- O Problema da Dedução do Intruso para um Protocolo Criptográfico Especificado via Reescrita Módulo AC
- Os Teoremas de Incompletude de Gödel
- Provas em Grafos: Implicações em Teoria da Prova e em Complexidade Computacional
- Traduções entre lógicas: aplicações à lógica linear
- Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
- Um estudo de C_\omega em Cálculo de Seqüentes e Dedução Natural
- Uma investigação acerca das regras para a negação e o absurdo em dedução natural
- Wagner de Campos Sanz