Texto completo
| |
| Autor(es): |
Ana Claudia de Jesus Golzio
Número total de Autores: 1
|
| Tipo de documento: | Tese de Doutorado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Data de defesa: | 2017-03-30 |
| Membros da banca: |
Marcelo Esteban Coniglio;
Hercules de Araujo Feitosa;
Ciro Russo;
Hugo Luiz Mariano;
Newton Marques Peron
|
| Orientador: | Marcelo Esteban Coniglio |
| Resumo | |
Chamamos de multioperação qualquer operação que retorna, para cada argumento, um conjunto de valores ao invés de um único valor. Através das multioperações podemos definir uma estrutura algébrica munida com pelo menos uma multioperação. Esta estrutura é chamada de multiálgebra. O estudo delas começou em 1934, com a publicação de um artigo de Marty. No âmbito da Lógica, as multiálgebras foram consideradas por Avron e seus colaboradores sob o nome de matrizes não-determinísticas (ou Nmatrizes) e utilizadas como ferramenta semântica para a caracterização de algumas lógicas que não podem ser modeladas por uma única matriz finita. Carnielli e Coniglio introduziram a semântica de estruturas swap para LFIs (Lógicas da Inconsistência Formal), que são Nmatrizes definidas sobre ternas em uma álgebra booleana, que generaliza a semântica de Avron. Nesta Tese iremos apresentar um novo método de algebrização de lógicas, baseado em multiálgebras e em estruturas swap, que é similar ao método clássico de algebrização de Lindenbaum-Tarski, porém mais abrangente, porque podemos aplicá-lo a sistemas em que alguns operadores não são congruenciais. Em particular, este método será aplicado à uma família de lógicas modais não-normais e à algumas LFIs que não são algebrizáveis por nenhum método bem conhecido, incluindo a teoria geral de Blok e Pigozzi. Também obteremos teoremas de representação para alguns LFIs e provaremos que, sob a nossa abordagem, as classes de estruturas de swap para algumas extensões axiomáticas de mbC são subclasses da classe das estruturas swap para a lógica mbC (AU) | |
| Processo FAPESP: | 13/04568-1 - Matrizes não-determinísticas: teoria e aplicações à semântica algébrica |
| Beneficiário: | Ana Cláudia de Jesus Golzio |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |