Resumen de Lógica Paraconsistente
Hodiemamente a lógica paraconsistente constitui tema de grande interesse entre os especialistas não somente pelos grandes avanços teóricos que experimentou, mas, também, principalmente pelas inúmeras aplicações relevantes que encontrou. Sob este último prisma, a lógica paraconsistente defronta-se com terreno fértil de florescimento em ciência da computação, notadamente no âmbito da inteligência artificial, robótica e automação, o que tem levado a aplicações importantes, v.g. em biomedicina, engenharia, ciência humanas, entre outras áreas.
Neste artigo procuramos bosquejar sobre alguns aspectos dessa lógica em seu estado atual, optando por vezes pela clareza e sacrificando o rigor.
