Dedução natural rotulada para lógicas modais e multimodais
Labelled natural deduction for modal and multimodal logics
dc.creator | Almeida, Dante Cardoso Pinto de, 1984- | |
dc.date | 2017 | |
dc.date | 2017-02-12T00:00:00Z | |
dc.date | 2017-07-04T13:01:24Z | |
dc.date | 2017-07-14T19:59:14Z | |
dc.date | 2017-07-04T13:01:24Z | |
dc.date | 2017-07-14T19:59:14Z | |
dc.date.accessioned | 2018-03-29T04:04:54Z | |
dc.date.available | 2018-03-29T04:04:54Z | |
dc.identifier | ALMEIDA, Dante Cardoso Pinto de. Dedução natural rotulada para lógicas modais e multimodais. 2017. 1 recurso online ( 159 p.). Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. | |
dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/322374 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1340591 | |
dc.description | Orientador: Itala Maria Loffredo D'Ottaviano | |
dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas | |
dc.description | Resumo: 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 | |
dc.description | Abstract: Labelled Natural Deduction is a proof method developed by Dov M. Gabbay and it is distinct from other Natural Deduction methods by its use of labels. These are metalinguistic marks used in the proofs. The advantage of Gabbay's method is that it allows to work around some difficulties in applying Natural Deduction to some non-classical logics, especially modal logics. The goals of this thesis are presenting Labelled Natural Deduction in a intuitive fashion and expand them into multimodal logics | |
dc.description | Doutorado | |
dc.description | Filosofia | |
dc.description | Doutor em Filosofia | |
dc.description | CAPES | |
dc.format | 1 recurso online ( 159 p.) : il., digital, arquivo PDF. | |
dc.format | application/pdf | |
dc.publisher | [s.n.] | |
dc.relation | Requisitos do sistema: Software para leitura de arquivo em PDF | |
dc.subject | Gabbay, Dov M., 1945- | |
dc.subject | Dedução natural | |
dc.subject | Modalidade (Lógica) | |
dc.subject | Lógica matemática não-clássica | |
dc.subject | Natural deduction | |
dc.subject | Modality (Logic) | |
dc.subject | Nonclassical mathematical logic | |
dc.title | Dedução natural rotulada para lógicas modais e multimodais | |
dc.title | Labelled natural deduction for modal and multimodal logics | |
dc.type | Tesis |