Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Orientador: Marcelo Esteban Coniglio === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas === Made available in DSpace on 2018-08-25T18:45:14Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_D.pdf: 1707390 bytes, checksum: 77a5315394cfd4052cf1fe8733d0...

Full description

Bibliographic Details
Main Author: Testa, Rafael Rodrigues, 1982-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Published: [s.n.] 2014
Subjects:
Revisão de crenças
Lógica matemática não-clássica
Epistemologia
Lógica paraconsistente
Contradição
Belief revision
Nonclassical mathematical logic
Epistemology
Paraconsistent logic
Contradiction
Online Access:TESTA, Rafael Rodrigues. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. 2014. 210 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/281195>. Acesso em: 25 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/281195

Internet

TESTA, Rafael Rodrigues. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. 2014. 210 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/281195>. Acesso em: 25 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/281195

Similar Items