Lógicas Anotadas Paraconsistentes

Obra: Lógicas Anotadas Paraconsistentes
Autor: Jair Minoro Abe

Resumo

Neste trabalho apresenta-se alguns resultados sobre as Lógicas Paraconsistentes Anotadas, particularmente um sistema multimodal que pode servir, por exemplo, como estrutura para o modelamento de conhecimento paraconsistente em Inteligência Artificial. Também apresentamos uma versão algébrica dos cálculos anotados proposicionais através do conceito de Álgebra de Curry.