Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/322374
Type: TESE DIGITAL
Degree Level: Doutorado
Title: Dedução natural rotulada para lógicas modais e multimodais
Title Alternative: Labelled natural deduction for modal and multimodal logics
Author: Almeida, Dante Cardoso Pinto de, 1984-
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: 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
Subject: Gabbay, Dov M., 1945-
Dedução natural
Modalidade (Lógica)
Lógica matemática não-clássica
Editor: [s.n.]
Citation: 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. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/322374>. Acesso em: 1 set. 2018.
Date Issue: 2017
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Almeida_DanteCardosoPintode_D.pdf511.48 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.