Logicas De Ordem Superior
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Ditadura e justiça militar no Brasil: a atuação do Superior Tribunal Militar (1964-1980)
O presente trabalho tem como objetivo analisar a atuação do Superior Tribunal Militar (STM), segunda instância da Justiça Militar brasileira, entre os anos de 1964 e 1980, no processo de construção de uma nova ordem jurídica e no julgamento de crimes militares, políticos e político-militares. Após o golpe de 31 de março de 1964, o STM teve importa
Publicado em: 07/10/2011
-
2. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
3. Influências institucionais nas relações de controle externo do Tribunal de Contas da União com o Banco do Brasil e o Banco Central do Brasil.
O presente estudo tem como objetivo geral identificar fluxos de influências institucionais atuantes sobre as relações de controle externo entre o Tribunal de Contas da União TCU - e as instituições financeiras federais IFFs Banco do Brasil e Banco Central do Brasil. Para orientar a iteratividade inerente à natureza exploratória deste estudo de caso �
Publicado em: 2007
-
4. O positivismo jurídico como fundamento da educação do bacharel em direito: a concepção do objeto como condicionante do modo de ensino.
Partindo da idéia de que a concepção filosófica adotada, de forma consciente ou inconsciente, sobre o Direito determina, ou ao menos condiciona significativamente, o ensino jurídico, o autor examina os atos normativos que disciplinam as diretrizes curriculares dos cursos de Direito no Brasil, bem como as grades curriculares e conteúdos programáticos d
Publicado em: 2005
-
5. ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS / ALFRED TARSKI: CONSEQÜÊNCIA LÓGICA, NOÇÕES LÓGICAS E FORMAS LÓGICAS
The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the c
Publicado em: 2004