Cálculo trivalorado, quase-verdade e sociedades paraconsistentes

Abstract

A Semântica de Sociedades é um tipo de construção lógica, que foi introduzida, em 1999, por Carnielli e Lima-Marques e permite obter novas lógicas a partir da combinação dos agentes, i.e., das valorações de uma lógica estabelecida previamente. Esta abordagem situa-se numa área de estudo relativamente nova dentro da Lógica, a qual estuda combinações entre diferentes sistemas lógicos. O ponto de vista das combinações de semânticas e lógicas não-clássicas nos permite resolver alguns problemas presentes no “estado da arte” das pesquisas em Lógica, tais como em Inteligência Artificial e Revisão de Crenças. [...]