Dedução natural rotulada para lógicas modais e multimodais

Dante Cardoso Pinto de Almeida

Dedução natural rotulada para lógicas modais e multimodais [recurso eletrônico]

Dante Cardoso Pinto de Almeida

Material

TESE

Número de chamada

T/UNICAMP AL64d

Outros títulos

[Labelled natural deduction for modal and multimodal logics]

Publicação

Campinas, SP : [s.n.], 2017.

Descrição física

1 recurso online ( 159 p.) : il., digital, arquivo PDF.

Nota geral

Orientador: Itala Maria Loffredo D'Ottaviano

Nota de dissertação ou tese

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo 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... Ver mais 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 Ver menos

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... Ver mais 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 Ver menos

Nota de sistema

Requisitos do sistema: Software para leitura de arquivo em PDF

Assuntos

Gabbay, Dov M., 1945-

Dedução natural

Modalidade (Lógica)

Lógica matemática não-clássica

Autoria

Almeida, Dante Cardoso Pinto de, 1984-

D'Ottaviano, Itala Maria Loffredo, 1944- Orientador

Mortari, Cezar Augusto Avaliador

Alves, Daniel Durante Pereira, 1968- Avaliador