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