Linhas de Pesquisa

Versão para impressãoVersão para impressão

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;