Tesis
Dedução natural rotulada para lógicas modais e multimodais
Labelled natural deduction for modal and multimodal logics
Registro en:
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.
Autor
Almeida, Dante Cardoso Pinto de, 1984-
Institución
Resumen
Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas 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 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 Doutorado Filosofia Doutor em Filosofia CAPES