Proof Theory
Mostrando 13-24 de 93 artigos, teses e dissertações.
-
13. Teoria da distribuição dinâmica do ônus da prova no processo do trabalho / Theory of dynamic distribution of the burden of proof in labor procedural law
Esta tese aborda a distribuição do ônus da prova no processo trabalhista pretendendo a aplicação da teoria da distribuição dinâmica do onus probandi neste ramo processual especial. Na primeira parte do trabalho são examinadas questões relativas aos direitos fundamentais, bem assim aos princípios constitucionais processuais, com relevo especial ao
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/04/2011
-
14. Colaboração premiada: legitimidade e procedimento
Collaboration rewarded directly inspired by Italian and American law also known as procedural collaboration or whistleblower reward, aims to contribute to the acquisition of investigative and evidentiary elements since investigation by traditional methods is blocked. The problem of strengthening methods of proof presents a possible conflict of interest in cr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/01/2011
-
15. Expressiveness and definability in circumscription
We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whene
Manuscrito. Publicado em: 2011-06
-
16. Propriedades de dinâmica hamiltoniana em níveis de energia convexos de R4 / Properties of the hamiltonian dynamics in convex energy levels of R4
The existence of global surfaces of section to ows is of central importance in the theory of dynamical systems, as a global surface of section simplies the study of the dynamics of a ow reducing it to the study of the dynamics of a dieomorphism. We present in detail the construction due to Hofer, Wysocki and Zehnder (in The dynamics on a strictly convex ener
Publicado em: 2011
-
17. 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
-
18. Teoria kantiana dos juizos juridico-politicos a priori segundo o metodo de analise e sintese / Kantian theory of the a priori juridical-political judgment according to the analysis and synthesis method
The present study about Kantian philosophy aims to demonstrate the feasibility of a priori juridical-political judgments in general, which results in the problem of proving the achievability of universal and continuous peace fomentation. It is through rules and application mechanisms given on politics in general (a priori politics and empirical politics), as
Publicado em: 2010
-
19. 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
-
20. The density of lattice sphere packings / A densidade de empacotamentos esfericos em reticulados
This dissertation addresses the lattice theory with focus on packing density, which has many applications and allows to establish interesting connections between topics of linear algebra, calculus of several variables and discrete geometry. The first chapter is an introduction to the main concepts and properties of lattices. In the second chapter we discuss
Publicado em: 2009
-
21. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
22. Existencia e estabilidade de ondas viajantes periodicas para alguns modelos dispersivos / Existence and stability of periodic travelling waves for some dispersive models
The goal of this thesis is to study the properties of solutions of some dispersive differential equations. First, we develop a local and global well-posedness theory for the regularized Benjamin-Ono equation in the periodic setting, then, we show that the Cauchy problem for this equation (in both periodic and nonperiodic cases) cannot be solved by an iterati
Publicado em: 2009
-
23. Em DireÃÃo aos N-Grafos Intuicionistas
A apresentaÃÃo dos N-Grafos foi feita por De Oliveira no ano 2001. Este à um sistema de provas que possui regras lÃgicas representadas graficamente por meio de digrafos. Estes grafos de provas se baseiam na deduÃÃo natural e no cÃlculo de sequentes de Gentzen, combinando idÃias de quatro abordagens geomÃtricas consolidadas na literatura de teoria da
Publicado em: 2009
-
24. Nowhere-zero flows and colorings of graphs / Fluxos inteiros e colorações
The theme of this thesis is nowhere-zero flows and colourings of graphs, two subjects that are closely related. We focus mainly on the three Conjectures of Tutte concerning 5-, 4- and 3-nowhere-zero flows. These conjectures were proposed, respectively, in the 50 s, 60 s and 70 s; all of them remain open so far. In this thesis we present three different appro
Publicado em: 2009