Texto completo
| |
| Autor(es): |
Newton Marques Peron
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: | 2014-02-20 |
| Membros da banca: |
Marcelo Esteban Coniglio;
Cezar Augusto Mortari;
Luis Fariñas del Cerro;
Marcelo Finger;
Walter Alexandre Carnielli
|
| Orientador: | Marcelo Esteban Coniglio |
| Resumo | |
Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas modais não pode ser caracterizada por matrizes determinísticas finitas. No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por Kearns e Ivlev. Essa ampliação engloba sistemas modais que, de acordo com nossa generalização, não podem ser caracterizados por matrizes determinísticas finitas (AU) | |
| Processo FAPESP: | 09/10239-5 - Um estudo da Lógica Modal paraconsistente avançada |
| Beneficiário: | Newton Marques Peron |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |