Natural Deduction Systems
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
2. A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION / UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
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 asp
Publicado em: 2004
-
3. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
In this work, we introduce the hierarchy of propositional natural deduction systems DNCn, 1≤n≤ω, and the hierarchy of quantificational natural deduction systems DNCn*, 1≤n≤ω. We prove that each one of the systems of the hierarchies is equivalent to the corresponding system of the hierarchy of da Costa´s propositional paraco
Publicado em: 2004
-
4. Um estudo de C omega em calculo de sequentes e dedução natural
Following Raggio s 1968 and 1978 papers on Cn1
w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition Publicado em: 2001