Running research projects of the group include:
- LOGOCOSMICS: LOgica, joGOs e Cálculos de prOcessos para Sistemas ModaIs ConcorrenteS
- Sistemas concorrentes: semântica, provas e modelos declarativos
- Sistemas Fuzzy, Processamento de Imagens Médicas e Tomada de Decisão
- Teoria dos Conjuntos Fuzzy e Algumas Extensões
- MOSAIC – Modalities in Substructural Logics: Theory, Methods and Applications
- Intervalos e Nebulosidade. Fundamentos e Aplicações
- Cálculos adequados para a combinação de sistemas lógicos
- PROGEO: Proof systems for Geometric theories
- PROSA – PROof search for Substructural and modAl logics
- Rewriting Logic as a framework for specifying sequent systems
- Lógica Fuzzy e suas Principais Extensões – Fundamentos e Aplicações
- Lógicas modais paraconsistentes