A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION / UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL

AUTOR(ES)
DATA DE PUBLICAÇÃO

2004

RESUMO

There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the aspect of modeling the rules for the quantifiers of the logic considered, and for this purpose labels are used. After an intuitive presentation of the technique developped, some logical systems are treated by the method: ultrafilter logic, filter logic, CTL, Keisler`s logic and CTL*. For each one of them proof-theoretical aspects are analysed.

ASSUNTO(S)

filter teoria da prova logic ultrafilter rotulo proof-theory natural deduction normalizacao keisler ultrafiltros label keisler filtro deducao natural normalization quantifiers quantificadores logica

ACESSO AO ARTIGO

Documentos Relacionados