Dualising Intuitionistic Negation

Principia

Endereço:
Campus Universitário, Caixa Postal 476
Florianópolis / SC
0
Site: http://www.periodicos.ufsc.br/index.php/principia/index
Telefone: (48) 3721-8612
ISSN: 1808-1711
Editor Chefe: Luiz Henrique Araújo Dutra
Início Publicação: 31/05/2007
Periodicidade: Quadrimestral
Área de Estudo: Filosofia

Dualising Intuitionistic Negation

Ano: 2009 | Volume: 13 | Número: 2
Autores: Graham Priest
Autor Correspondente: Graham Priest | [email protected]

Palavras-chave: da costa, paraconsistência: intuicionismo, semântica de kripke, álgebras, brouwerianas, lógica closed-set, negação

Resumos Cadastrados

Resumo Português:

Uma das razões de da Costa para erigir a lógica paraconsistente C! foi a dualização da negação intu



Resumo Inglês:

One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negati