O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

AUTOR(ES)

Milton Augustinis de Castro

DATA DE PUBLICAÇÃO

1998

RESUMO

A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1

ASSUNTO(S)

logica matematica não-classica logica logica simbolica e matematica

Documentos Relacionados

• Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
• Sistemas de lógica modal em dedução natural
• Sobre o metodo dos tableaux em logicas polivalentes finitarias
• Uma investigação acerca das regras para a negação e o absurdo em dedução natural
• O método numérico de Numerov aplicado à equação de Schrödinger