Uma Apresentação dos principais sistemas relacionados à lógica clássica

Detalhes bibliográficos
Autor(a) principal: Fassbinder, Aracele Garcia de Oliveira
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/94116
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010
id UFSC_694603daca139a4a49973285b1c9e3fb
oai_identifier_str oai:repositorio.ufsc.br:123456789/94116
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Uma Apresentação dos principais sistemas relacionados à lógica clássicaLogicaCiência da computaçãoRepresentação do conhecimento (Teoria da informação)(Teoria da informacao)Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010Os principais sistemas relacionados à Lógica Clássica são apresentados. Outrossim, faz-se uma elucidação da Logica Proposicional Clássica, da Lógica Quantificacional Clássica, da Lógica Equacional Clássica, da Lógica Descritiva Clássica e da Lógica das Descrições Indefinidas, a fim de possibilitar uma visão inteligível e holística das mesmas. Para cada uma destas lógicas são fornecidas uma linguagem, uma semântica de valorações e um cálculo de sequentes. Buscamos dar um tratamento geral aos diversos aspectos semânticos e sintáticos, seguindo a perspectiva universal para a construção de ferramentas úteis ao estudo e ao desenvolvimento de lógicas. Dentre estes aspectos está uma abordagem do método dos tablôs por confutação que abstrai as características essenciais desse método em uma generalização cujas instâncias podem ser aplicadas a uma grande variedade de lógicas. Neste trabalho, tal abordagem é aplicada na construção de um sistema de tablôs para a Lógica Proposicional Clássica e para a Lógica Quantificacional Clássica. Também é dado um conceito geral de semântica, o qual corresponde a uma ampla classe de lógicas, e através do mesmo é definido satisfabilidade e relação de consequência. Similarmente, expomos condições gerais de correção e completude dos cálculos de sequentes com respeito às semânticas das lógicas dadas. Outras contribuições são um tratamento minucioso de algumas questões sintáticas relevantes das diversas linguagens formais, tais como um estudo acurado da instanciação e da substituição, sua aplicação para um estudo dos esquemas e das regras concernentes à equivalência e à implicação, apresentação das listas de teoremas, e algumas provas dos considerados mais importantes aos níveis da lógica clássica proposicional, quantificacional, equacional, descritiva clássica, e das descrições indefinidas.Buchsbaum, Arthur Ronald de VallaurisUniversidade Federal de Santa CatarinaFassbinder, Aracele Garcia de Oliveira2012-10-25T06:45:35Z2012-10-25T06:45:35Z2012-10-25T06:45:35Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf280204http://repositorio.ufsc.br/xmlui/handle/123456789/94116porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-03T07:47:18Zoai:repositorio.ufsc.br:123456789/94116Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-03T07:47:18Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Uma Apresentação dos principais sistemas relacionados à lógica clássica
title Uma Apresentação dos principais sistemas relacionados à lógica clássica
spellingShingle Uma Apresentação dos principais sistemas relacionados à lógica clássica
Fassbinder, Aracele Garcia de Oliveira
Logica
Ciência da computação
Representação do conhecimento (Teoria da informação)
(Teoria da informacao)
title_short Uma Apresentação dos principais sistemas relacionados à lógica clássica
title_full Uma Apresentação dos principais sistemas relacionados à lógica clássica
title_fullStr Uma Apresentação dos principais sistemas relacionados à lógica clássica
title_full_unstemmed Uma Apresentação dos principais sistemas relacionados à lógica clássica
title_sort Uma Apresentação dos principais sistemas relacionados à lógica clássica
author Fassbinder, Aracele Garcia de Oliveira
author_facet Fassbinder, Aracele Garcia de Oliveira
author_role author
dc.contributor.none.fl_str_mv Buchsbaum, Arthur Ronald de Vallauris
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Fassbinder, Aracele Garcia de Oliveira
dc.subject.por.fl_str_mv Logica
Ciência da computação
Representação do conhecimento (Teoria da informação)
(Teoria da informacao)
topic Logica
Ciência da computação
Representação do conhecimento (Teoria da informação)
(Teoria da informacao)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010
publishDate 2012
dc.date.none.fl_str_mv 2012-10-25T06:45:35Z
2012-10-25T06:45:35Z
2012-10-25T06:45:35Z
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 280204
http://repositorio.ufsc.br/xmlui/handle/123456789/94116
identifier_str_mv 280204
url http://repositorio.ufsc.br/xmlui/handle/123456789/94116
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652136098037760

Registros relacionados