Translate

9.4.13

10/04 - Walter Carnielli

Título: Várias semânticas para umas poucas  lógicas

Resumo:

As "semânticas de traduções possíveis" podem dar um significado semântico a vários tipos de sistemas lógicos, embora originalmente projetadas   para uma classe de lógicas paraconsistentes chamada "lógicas da inconsistência formal" (que cobre a hierarquia  de N. da Costa e diversas outras). Usando tal semântica, várias lógicas complexas podem ser   naturalmente decomponíveis (e também componíveis), por meio de combinações adequadas de  sistemas lógicos simples. Casos particulares das semânticas de traduções possíveis são as "semânticas da sociedade", as "semânticas diádicas" e   as "semânticas  não-determinísticas". Pretendo discutir exemplos de semânticas de traduções possíveis  e algumas relações entre estas e semânticas conhecidas  para  LP (Priest), K3 (Kleene) e FDE (Anderson & Belnap), com vistas a um entendimento mais profundo de  uma abordagem semântica  unificada.

Nenhum comentário:

Postar um comentário