- Autor
- DANTE CARDOSO PINTO DE ALMEIDA
- Orientador(a)
- ITALA MARIA LOFFREDO D OTTAVIANO
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- FILOSOFIA
- Grau
- DOUTORADO
- Ano
- 2017
2017DANTE CARDOSO PINTO DE ALMEIDA. DEDUÇÃO NATURAL ROTULADA PARA LÓGICAS MODAIS E MULTIMODAIS. 2017. Tese (DOUTORADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): ITALA MARIA LOFFREDO D OTTAVIANO.2
A DEDUÇÃO NATURAL ROTULADA CONSISTE EM UM MÉTODO DE PROVA DESENVOLVIDO POR DOV M. GABBAY, O QUAL SE DISTINGUE DE OUTROS MÉTODOS DE DEDUÇÃO NATURAL PELA UTILIZAÇÃO DE RÓTULOS. ESTES CONSISTEM EM MARCAÇÕES METALINGUÍSTICAS UTILIZADAS NAS DEMONSTRAÇÕES. A VANTAGEM DO MÉTODO DE GABBAY É QUE ELE PERMITE CONTORNAR CERTAS DIFICULDADES EM APLICAR A DEDUÇÃO NATURAL A CERTAS LÓGICAS NÃO-CLÁSSICAS, EM ESPECIAL ÀS LÓGICAS MODAIS. OS OBJETIVOS DESTA TESE CONSISTEM EM APRESENTAR A DEDUÇÃO NATURAL ROTULADA DE FORMA INTUITIVA E EXPANDÍ-LA PARA LÓGICAS MULTIMODAIS.