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

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

Uma das razÃµes de da Costa para erigir a lÃ³gica paraconsistente C! foi a dualizaÃ§Ã£o da negaÃ§Ã£o intu

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