O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Detalhes bibliográficos
Ano de defesa: 1998
Autor(a) principal: Castro, Milton Augustinis de
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
Link de acesso: https://hdl.handle.net/20.500.12733/1586982
Resumo: Orientador: Carlos Alberto Lungarzo
id UNICAMP-30_fb1429479fc52bbb4279bc963eddc65c
oai_identifier_str oai::170397
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes CnLógica - Estudo e ensinoLógica simbólica e matemáticaLógica matemática não-clássicaOrientador: Carlos Alberto LungarzoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadasAbstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced.MestradoLógica e EpistemologiaMestre em Lógica e Filosofia da Ciência[s.n.]Lungarzo, Carlos Alberto, 1942-D'Ottaviano, Itala Maria LoffredoPereira, Luiz Carlos Pinheiro DiasUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASCastro, Milton Augustinis de19981998-04-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf166f.(Broch.)https://hdl.handle.net/20.500.12733/1586982CASTRO, Milton Augustinis de. O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn. 1998. 166f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586982. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/170397porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:52:52Zoai::170397Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:52:52Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
title O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
spellingShingle O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
Castro, Milton Augustinis de
Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
title_short O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
title_full O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
title_fullStr O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
title_full_unstemmed O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
title_sort O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
author Castro, Milton Augustinis de
author_facet Castro, Milton Augustinis de
author_role author
dc.contributor.none.fl_str_mv Lungarzo, Carlos Alberto, 1942-
D'Ottaviano, Itala Maria Loffredo
Pereira, Luiz Carlos Pinheiro Dias
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Castro, Milton Augustinis de
dc.subject.por.fl_str_mv Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
topic Lógica - Estudo e ensino
Lógica simbólica e matemática
Lógica matemática não-clássica
description Orientador: Carlos Alberto Lungarzo
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-04-27T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1586982
CASTRO, Milton Augustinis de. O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn. 1998. 166f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586982. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
CASTRO, Milton Augustinis de. O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn. 1998. 166f Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586982. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1586982
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/170397
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
166f.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1829137393484038144

Registros relacionados