Teología, 1965, Tomo III/2 nº 7 (número completo)

Presentación -- Documentación -- Estructura de la Constitución Dogmática “Lumen Gentium” / Ricardo Ferrara -- El Misterio de la Iglesia (Capítulo I) / Lucio Gera -- La Iglesia, pueblo de Dios único y universal (Capítulo II) / Alfredo C. Chiesa -- Crónica de la Facultad (junio-diciembre 1965) -- Bibliografía -- Índice del Tomo III

Identidad y memoria como principio de legitimación : el caso de la construcción del poder imperial de Séptimo Severo

Abstract: I will focus on the Roman Empire during the final years of the 2nd century A.D., which are considered by Classical Historiography as critical. This epithet is based on the detection of estructural and circumstancial changes linked to state power’s concept. Emperor Pertinax’s murder in 193 can be understood as the trigger of the civil war extended up to the year 197. During those years the tutelary of state power was jeopardized, when four Emperors were crowned at the same time. By the time this struggle ended, Lucius Septimius Severus was recognized as the victorious general and the first of his name in the new dynastic line. Considering these facts, it is the purpose of my work to analize the rising figure of Septimius Severus, from civil war’s clashing context through which the Emperial legitimacy had to be set.

Teología, 1968, Tomo VI nº 013 (número completo)

Presentación / Juan F. Radrizzani -- Interpretación cristiana de los signos de los tiempos en América Latina / Eduardo F. Pironio -- Eucaristía y vida cotidiana / Lucio Gera -- El diálogo y la Verdad / Eduardo Briancesco -- La Iglesia: de los Hechos de los Apóstoles al Vaticano II / Féliz Casa -- Posibilidades de aplicar la “capacidad creadora” al Plan de Pastoral / Justino O´Farrell -- La consagración episcopal de Medrano en el Brasil (1830) / Américo Tonda -- Instauración del diaconado permanente en América Latina / Carmelo J. Giaquinta -- Primera Semana nacional de Teología Estanislao Karlic -- Crónica de la Facultad de Teología -- Notas bibliográficas -- Libros recibidos

Teología, 2005, Tomo XLII nº 087 (número completo)

Nota del Director. De Benedicto XV a Benedicto XVI. Nuestros noventa años -- La teología de los procesos históricos / Lucio Gera -- La historia de la Virgen de Luján (1885) Un libro prometido en “Apremiante Lance” / Juan Guillermo Durán -- La conversación con otros religiosos / Osvaldo D. Santagada -- La dimensión trinitaria de la moral. I. Aspecto místico / Víctor Manuel Fernández -- Algunos aspectos del pensamiento sobre el don como camino necesario de la economía. Reflexiones a la luz de Gaudium et spes 35 / Alejandro Llorente -- La recepción de Newman en la teología del siglo XX / Ricardo Miguel Mauti -- Mons. Enrique Angelelli, pastor plasmado en la fragua del Concilio Vaticano II / Luis O. Liberti SVD -- Publicaciones recientes -- Instrucciones para los colaboradores

Reproducción de la Correspondencia remitida por Juan de Ajuriaguerra, desde el penal del Dueso (Santoña), al general italiano Manzini.

Fecha: 15/23-10-1937 (>1970 reproducción) / Unidad de instalación: Carpeta 45 - Expediente 1-7 / Nº de pág.: 5 (mecanografiadas)

Reproducción de Correspondencia remitida por presos vascos condenados a muerte en Santoña.

Fecha: 15-10-1937/25-10-1937 (>1970 reproducción) / Unidad de instalación: Carpeta 45 - Expediente 1-11 / Nº de pág.: 6 (mecanografiadas)

Liderazgo de servicio de los mandos intermedios

[ES] El gran reto de la empresa de servicios en la actualidad es orientarse con mayor precisión a sus clientes y conseguir su satisfacción y lealtad. Si bien el impulso de la innovación, el uso de tecnologías de información, y concretamente la creación de valor son factores decisivos, el gran factor a dirigir con una mejor proyección es el factor humano. Sin un enfoque consistente orientado a la persona, no será posible desarrollar la capacidad de servir al cliente en la organización.

La arqueología comercial en España: ¿un sistema sectorial de innovación?

[ES] La publicación de la Ley de Patrimonio Histórico Español en 1985 y el desarrollo de la construcción, especialmente de grandes infraestructuras, en la primera década del siglo XXI han sido los factores desencadenantes de la arqueología comercial en España.

O nível de letramento político infantojuvenil : educação política como um direito democrático

Analisa o letramento político infantojuvenil com base em sondagem de opinião. Utiliza-se como método a análise de conteúdo e a teoria fundamentada nos dados. Conceitos da educomunicação e da cultura política, no contexto brasileiro, são abordados como perspectiva teórica. Verifica-se um baixo nível de letramento político e uma desconfiança quanto à política, como já estudado entre adultos.

Flores de l. anneo seneca : traduzidas de latin en romance castellano por Iuan Martin Cordeiro Valenciano, Y dirigidas al Muy Magnifico Senor Martin Lopez

Compõe-se de trechos selecionados da obra de Sêneca e traz uma pequena biografia do filósofo, além de partes das cento e vinte quatro "epístolas" dirigidas a seu amigo Lucílio. Constituem, na realidade, ensaios morais sobre vários aspectos da vida. Foi editado pelo célebre impressor francês Critóvão Plantin (ou Plantino), radicado na Bélgica, que notabilizou-se pela preciosidade de seu trabalho tipográfico, o que lhe valeu o título de "Grande Impressor", atribuído por Filipe II, rei da Espanha (Filipe I de Portugal).

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Livro do centenário da Câmara dos Deputados

Trabalhos elaborados por deputados sobre questões nacionais no período.

Os jesuítas no Grão-Pará : suas missões e a colonização : bosquejo histórico com vários documentos inéditos

"O livro de João Lúcio de Azevedo continua sendo indispensável ao conhecimento da ocupação da Amazônia, fundada na atividade das missões, como a estrutura de produção das especiarias. Plantadas ao longo dos rios e escoradas na economia coletora florestal e no trabalho do indígena, a missão religiosa é a base do povoamento ali."

Diário da Constituinte [gravação de vídeo] : [programa n. 564]

Rejeição da proposta sobre a diferença de tempo de serviço para homens e mulheres com vistas à aposentadoria integral. Estabelecimento de prazo para o Governo Federal rever as regras vigentes para concessão e pagamento de aposentadorias e pensões. Garantias para aposentados e pensionistas. Proposta de aposentadoria por idade para trabalhadores e trabalhadoras rurais, respectivamente 60 e 55 anos de idade. Apresentação pela Deputada Beth Azize de emenda sobre a fixação de 30 anos para homens e 25 anos para mulheres para concessão de aposentadoria proporcional ao tempo de serviço. Manifestação de estudantes contrária À privatização do ensino superior. Construção de acordo entre Líderes em torno do ensino gratuito em todos os níveis; distribuição do financiamento da educação pelos entes federados; destinação de recursos orçamentários para escolas filantrópicas, confessionais e sem fins lucrativos; salário-educação. Rejeição da proposta de inclusão de professores universitários no rol de aposentadorias especiais.

Diário da Constituinte [gravação de vídeo] : [programa n. 343]

Ulysses quer evitar cenas de violência no plenário da Constituinte, como a que ocorreu durante a votação sobre a mudança do regimento. O grupo dos 32 ser reúne para analisar as propostas e para apresentar as emendas, destas as que se destacam são sobre a seguridade social.