• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2005.tde-20210729-141220
Documento
Autor
Nome completo
Guilherme de Souza Rabello
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2005
Orientador
Título em português
Aproximações de lógicas modais
Palavras-chave em português
Lógica Matemática
Resumo em português
Este texto tem por objetivo estudar aproximações de lógicas, um procedimento que tem interesse tanto filosófico quanto computacional. No primeiro capítulo, é apresentado o conceito geral de aproximações. Nos três capítulos seguintes, diferentes abordagens encontradas na literatura são discutidas. Primeiro, o procedimento de Cadoli-Schaerf, que foi um dos primeiros e ainda é um dos mais importantes métodos de aproximações de lógicas, tendo servido de base para os outros dois aqui analisados. Cadoli e Schaerf trabalham com sentenças no formato normal clausal e normal negativo. O trabalho de Cadoli-Schaerf apresenta procedimentos de aproximações para lógicas proposicionais clássicas, formaliza esses procedimentos em uma lógica modal do conhecimento e os estende para modais. O segundo procedimento, de Fabio Massacci, estende Cadoli-Schaerf para sentenças proposicionais quaisquer e para sentenças modais, todas assinaladas, além disso, apresenta uma teoria da prova a partir de tableaux semânticos, também utilizando sentenças assinaladas. O terceiro procedimento, devido a Finger e Wassermann, generaliza Cadoli-Schaerf para sentenças proposicionais quaisquer não-assinaladas, empregando sentenças assinaladas apenas nos tableaux de prova. Nos dois capítulos que se seguem, é apresentada uma extensão de Finger-Wasermann para lógicas modais - c0m semântica e teoria da prova - e formaliza-se esse procedimento em uma lógica modal do conhecimento. Na conclusão, analisam-se os resultados obtidos e discutem-se possíveis direções para trabalhos futuros.
Título em inglês
not available
Resumo em inglês
not available
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.