Busca avançada
Ano de início
Entree


Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

Autor(es):
Milton Augustinis de Castro
Número total de Autores: 1
Tipo de documento: Tese de Doutorado
Instituição: Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciencias Humanas
Data de defesa:
Membros da banca:
Newton Carneiro Affonso da Costa; Daniel Durante Pereira Alves; Hercules de Araujo Feitosa; Maria da Paz Nunes de Medeiros
Orientador: Itala Maria Loffredo D'Ottaviano
Resumo

Neste trabalho, introduzimos a hierarquia de sistemas proposicionais de dedução natural DNCn, 1&#8804;n&#8804;&#969;, e a hierarquia de sistemas quantificacionais de dedução natural DNCn*, 1&#8804;n&#8804;&#969;. Demons-tramos que cada um dos sistemas das hierarquias é equivalente aos sistemas correspondentes da hierarquia de cálculos proposicionais paraconsistentes Cn, 1&#8804;n&#8804;&#969;, e de cálculos quantificacionais paraconsistentes Cn*, 1&#8804;n&#8804;&#969;, de da Costa. Demonstramos um Teorema de Normalização, à la Fitch, e uma Propriedade de Subfórmula para os sistemas DNCn e DNCn*, 1&#8804;n&#8804;&#969;. Introduzimos a hierarquia de sistemas de tableaux analíticos TNDCn, 1&#8804;n<&#969;, nos quais o operador “o” (“bola”), os operadores generalizados “k”, “(k)”, 1&#8804;k, e as negações “&#8764;k”, k&#8805;1, de da Costa são operadores primitivos, diferentemente do que tem sido apresentado na literatura, onde esses opera-dores são usualmente definidos. Demonstramos uma versão da Regra do Corte para esses sistemas e demonstramos que cada um deles é equivalente ao correspondente sistema Cn, 1&#8804;n<&#969;. Os sistemas TNDCn constituem provadores automáticos de teoremas para os sistemas da hierarquia Cn, 1&#8804;n<&#969;, de Costa. (AU)

Processo FAPESP: 99/03213-6 - Normalização das lógicas paraconsistentes de Da Costa
Beneficiário:Milton Augustinis de Castro
Linha de fomento: Bolsas no Brasil - Doutorado