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 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