Cálculo trivalorado, quase-verdade e sociedades paraconsistentes

Luiz Henrique da Cruz Silvestrini

Resumo


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. [...]


Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato