Detalhes bibliográficos
| Ano de defesa: |
2010 |
| Autor(a) principal: |
Hernandes, Mauricio Simões Camilo |
| 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: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| 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: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
|
Resumo: |
Por uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A. |
