área de pesquisa
- (In)completude modal por (N)matrizes finitas
- Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis e à noção de forma lógica
- Demonstrações naalgibeira: polinômios como um método universal de provas
- Genuine paracomplete logics
- João Marcos de Almeida
- Marcelo Esteban Coniglio
- Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
- Non-deterministic algebraization of logics by swap structures1
- Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
- O Continuum, os Reais e o Conceito de Homogeneidade
- Recovery operators, paraconsistency and duality
- Semantica categorial generalizada
- Semântica Algébrica de Traduções Possíveis
- Semântica de Sociedades para Lógicas n-valentes
- Two Decision Procedures for da Costa?s $$C_n$$ Logics Based on Restricted Nmatrix Semantics
- Uma Nova Abordagem para a Noção de Quase-Verdade