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