Deduction Logic
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. Hegel e a ideia de um idealismo especulativo da subjetividade e da intersubjetividade / Hegel and the idea of a speculative idealism of subjectivity and intersubjectivity
The present thesis proposes a speculative deduction of Intersubjectivity from diremption of Subjectivity in Hegel s Logic. For this, it searchs to retake and to develop the program of the Logic as pure speculative philosophy, sketched in the Annotation to § 17 of the Encyclopedia of 1817 and more precise meaning of Logic, alluded in Lectures on Logic and Me
Publicado em: 2011
-
2. 2-CATEGORY AND PROOF THEORY / 2-CATEGORIA E TEORIA DA PROVA
Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of ca
Publicado em: 2009
-
3. Design and culture in global products: semiotics as the converging point. / Design e Cultura em produtos globais: a SemiÃtica como ponto de convegÃncia.
Design is strongly present in all aspects of human beings lives. Its demonstration in objects allows individuals to define themselves as social groups, to communicate with others and experience the world. The relationship between individuals and products, which in this case are using objects, is more complex than being merely material and economic issues. Th
Publicado em: 2008
-
4. LOGIC PROOFS COMPACTATION / COMPACTAÇÃO DE PROVAS LÓGICAS
É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou pro
Publicado em: 2007
-
5. RetÃrica como mÃtodo no direito: o entimema e o paradigma como bases de uma retÃrica judicial analÃtica / Rhetoric as a method in law: enthymeme and paradigm as the basis of an analytical judicial rhetoric
The present work is founded on the discussion about the possibility of using rhetoric as a method for the process of âcreationâ and âapplicationâ of the law. The antique rhetoric of Aristotle and the analytical rhetoric of Ottmar Ballweg have been established as the basis for this research. From the first, the dissertation takes the model of a specific l
Publicado em: 2007
-
6. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007
-
7. Uma investigação acerca das regras para a negação e o absurdo em dedução natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenç�
Publicado em: 2006
-
8. O MODELO DEDUTIVO NA TEORIA DO RACIOCÍNIO JURÍDICO DE NEIL MACCORMICK / THE DEDUCTIVE MODEL IN NEIL MACCORMICK S THEORY OF LEGAL REASONING
Em 1978, Neil MacCormick publica o livro Legal Reasoning and Legal Theory com o principal objetivo de construir uma teoria do raciocínio jurídico (legal reasoning) descritiva e normativa que fosse compatível com o positivismo jurídico de H. L. A. Hart. O método utilizado para apresentar a teoria parte da reconstrução racional de casos concretos pré-
Publicado em: 2006
-
9. NormalizaÃÃo para os N-Grafos
The main tools of general proof theory are cut-elimination (classical sequent calculus) and normalization (classical natural deduction). In proof theory, both tools are used by several related investigations. But, when we consider a normalization procedure for classical logic with a proof structure which presents more than one conclusion, we find few related
Publicado em: 2005
-
10. 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
-
11. EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS / EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos que almejam provar a correção dos programas. Este trabalho apresenta um método, baseado no isomorfismo de Curry-Howard, que extrai conteúdos computacionais de provas intuicionistas, c
Publicado em: 2004