Linhas de Pesquisa do Grupo GLTA Semânticas Formais
Objetivo: Estudar os diversos tipos de semânticas formais para lógicas não-clássicas com ênfase nos aspectos conceituais e de aplicações.
Árvore do conhecimento: Ciências Humanas; Filosofia; Lógica;
