Proof Theory
Mostrando 1-12 de 93 artigos, teses e dissertações.
-
1. Heterostructured Langmuir-Blodgett Films of Ruthenium Bipyridine with 1,3,4-Naphthooxadiazole-Derived Amphiphile Complex as a Charge Storage Electrode
The molecular control in Langmuir-Blodgett (LB) films may be exploited in charge storage electrodes provided a suitable choice of molecular architecture and components is made. In this paper, we employed a naphtyl-1,3,4-oxadiazole amphiphile (NFT1) and its complex [Ru(bpy)2NFT1]PF6 (RuNFT1) (bpy = 2,2’-bipyridine) in heterostructured LB films in a proof-of
J. Braz. Chem. Soc.. Publicado em: 2020-11
-
2. Eclipses: revelando a vida secreta das estrelas e da natureza humana
Resumo O presente artigo é uma homenagem ao legado deixado pelo maior experimento astronômico do século XX. Os eclipses e suas multifaces são o alvo principal desse artigo. Veremos que os eclipses não somente revelam os segredos das estrelas, mas também aqueles da natureza humana. A inspiração e fascínio pelos eclipses nos tornaram capazes de prever
Rev. Bras. Ensino Fís.. Publicado em: 13/12/2019
-
3. AVOIDING INFINITE REGRESS: POSTERIOR ANALYTICS I 22
Abstract This article offers a reconstruction of an argument against infinite regress formulated by Aristotle in Posterior Analytics I 22. I argue against the traditional interpretation of the chapter, according to which singular terms and summa genera, in virtue of having restrict logical roles, provide limits for predicative chains, preventing them from pr
Manuscrito. Publicado em: 07/11/2019
-
4. A Teoria de Securitização e a sua aplicação em artigos publicados em periódicos científicos
Resumo Introdução: O artigo analisa como a teoria de securitização é aplicada em um conjunto de estudos publicados em periódicos classificados no sistema brasileiro Qualis da CAPES na área de Ciência Política e Relações Internacionais. Securitização pode ser entendida como a possibilidade de um determinado tema passar a ser visto como ameaça �
Rev. Sociol. Polit.. Publicado em: 15/08/2019
-
5. INESCAPABILITY REVISITED
Abstract According to constitutivism, the objective authority of practical reason is to be grounded in the constitutive features of agency. In this paper, I offer a brief survey of the basic structure of constitutive argument about objectivity and consider how constitutivism might dispel the worry that it can only ground a conditional kind of authority. I th
Manuscrito. Publicado em: 25/10/2018
-
6. Una demostración simple de la desigualdad de Bell basada en la teoría elemental de conjuntos
Bell's inequality has been considered one of deepest results of science. Due to its importance, several works have attempted to make it accessible to non-specialists. In this article we present a new proof of Bell's inequality based on elementary set theory, which stands out for its mathematical simplicity. The exposition is mainly intended for both graduate
Rev. Bras. Ensino Fís.. Publicado em: 03/06/2016
-
7. HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS
Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how H
Manuscrito. Publicado em: 2015-08
-
8. Completamentos Pro-p de grupos de dualidade de Poincaré / Pro-p completions of Poincaré duality groups
In this work we give in the Main Theorems suffiient conditions for that the pro- p completion of an abstract orientable PDn group to be virtually a pro-p PDs group for some s ? n - 2 with n ? 4. This result is a generalization of the Theorem 3 in [K-2009]. Our proof is based on [K-2009] and on the results of A. A. Korenev [Ko-2004] and [Ko-2005]. Furthermore
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/08/2012
-
9. Convergent Sequences of Discrete Structures and Testability / SequÃncias Convergentes de Estruturas Discretas e Testabilidade
In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. Weâve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. W
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/02/2012
-
10. The relation between the general maxim of causality and the principle of uniformity in hume's theory of knowledge
ABSTRACT When Hume, in the Treatise on Human Nature, began his examination of the relation of cause and effect, in particular, of the idea of necessary connection which is its essential constituent, he identified two preliminary questions that should guide his research: (1) For what reason we pronounce it necessary that every thing whose existence has a begi
Manuscrito. Publicado em: 2012-06
-
11. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z / FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z
In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model trans
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
12. Dinamização do ônus da prova: teoria e prática / Making the burden of proof dynamic: theory and practice
Pesquisa desenvolvida na área do direito processual civil por intermédio de análise bibliográfica, baseada na averiguação de legislação, doutrina e jurisprudência pátria e estrangeira, pertinentes à teoria e prática da dinamização do ônus da prova e, em efeito, ao dogma do ônus da prova. Dinamizar o ônus da prova é atribuir o caráter dinâ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/05/2011