A preference-based semantics for CTD reasoning

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

rg358-f114-071

Digital image

Teología, 1998, Tomo XXXV nº 071 (número completo)

Presentación / Ricardo Ferrara -- El cristianismo y las religiones: El estado de la cuestión / Lucio Gera -- Monoteísmo de Israel y religiones en el Antiguo Testamento / Felipe L. Roldán -- Cristo Salvador único y universal en algunos himnos del Nuevo Testamento / Luis Heriberto Rivas -- Religión y revelación. La cuestión de la revelación en El cristianismo y las religiones / Alfredo H. Zecca -- “Un solo Dios y Padre de todos” (Ef 4,6) / Ricardo Ferrara -- Jesucristo, mediador único y universal de salvación. La cristología del documento El cristianismo y las religiones / Antonio Marino -- La acción universal de la tercera Persona. Otra “fenomenología del Espíritu” / Víctor Manuel Fernández -- Sacramentalidad y misión de la Iglesia en el horizonte de El cristianismo y las religiones / Carlos María Galli -- La cuestión sobre el valor salvífico de las religiones en el Documento de la Comisión Teológica Internacional / Lucio Gera

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

A Subcomissão da Ordem Social da Assembleia Nacional Constituinte (ANC) trata do teto de 25 salários mínimos para os servidores públicos. Nelson Seixas (PDT-SP) defende teto menor, de 10 a 15 salários mínimos. Mendes Botelho acredita que o teto do funcionalismos público deve ser de 15 salários mínimos. No Plenário, uma homenagem a Teotônio Vilela, que se estivesse vivo completaria 70 anos. Imagens dos constituintes Ulysses Guimarães (PMDB-SP), Humberto Lucena (PMDB-PB), da Mesa Diretora e de Teotônio Filho, este último na tribuna discursando. Na sessão lembraram a luta de Teotônio pela democracia do Brasil. Ulysses (PMDB-SP) retrata Teotônio como o "cidadão coragem". Mario Covas (PMDB-SP) lembrou que Teotônio arrombou os porões da ditadura em prol da democracia e tornou-se uma figura que sintetizava a liberdade do povo. Pedro Simon (PMDB-RS) afirmou que se há alguém que se pode buscar como parâmetro de que se dedicou de corpo e alma e que morreu lutando por uma causa, esse homem se chama Teotônio Vilela. Após a sessão, ocorreu o lançamento do livro Tributo a Teotônio. Representantes das entidades populares lançam movimento para estimular a participação do povo e se reuniram com Marcelo Cordeiro (PMDB-BA), 1º Secretário da Mesa. Ele afirmou que a participação de todos enriquece a Constituição e que os populares podem entregar suas emendas de 15 de julho a 15 de agosto. Lembra-se que, para participar das emendas populares, cada pessoa só pode assinar três propostas e deve saber o número do título de eleitor.

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

A Comissão da Família, da Educação, Cultura e Esporte, da Ciência e Tecnologia e Comunicação da Assembleia Nacional Constituinte (ANC) trata a educação no país. Constituintes querem manter o mandato de injunção, ao tratar a educação e a representação feita no poder judiciário pelo povo. Constituintes discutem a educação obrigatória e gratuita no país. Loremberg Nunes Rocha (PTB-MT) diz que o relatório incorporará novas sugestões, vinculará no texto da constituição, com 50% para o ensino fundamental. Constituintes voltam a discutir a criação de novos estados brasileiros: Tocantins, Santa Cruz, Maranhão do Sul, Solimões, Tapajós e Triângulo Mineiro. Constituintes também querem os novos estados do São Francisco e Cariri. Marluce Pinto (PTB-RR) luta pela mudança do status dos territórios do Amapá e Roraima. Criação da Corte Constitucional, tema debatido na Comissão de Organização Eleitoral, Partidária e Garantia das Instituições, gera polêmica. Um grupo de constituintes acha que a Corte Constitucional garante o cumprimento da Constituição, outro grupo acredita que a Corte Constitucional esvazia as funções do Supremo Tribunal Federal esvazia sua função. Prisco Viana (PMDB-BA), relator da comissão, acredita que a Corte Constitucional não precisa ser implementada no Brasil. Fausto Fernandes (PMDB-PA) diz que a Corte dá condições ao funcionamento da constituição. Paulo Ramos(PMN-RJ) acredita na Corte como benefício à sociedade. Lutas pelas emendas. Alguns constituintes querem a entrada de emendas nos relatórios das comissões antes do projeto chegar a Comissão de Sistematização. O que não é permitido pelo regimento interno da constituição. Agripino Maia (PFL-RN) defende a inclusão de emendas nos relatórios das comissões

Nutrient Enhanced Coastal Ocean Productivity (NECOP). Data report: CTD and hydrographic data, R/V Pelican cruise, April 3-11, 1993

The Nutrient Enhanced Coastal Ocean Productivity (NECOP) Program is a component of NOAA's Coastal Ocean Program. The central hypothesis of this research is: Anthropogenic nutrient inputs have enhanced coastal ocean productivity with subsequent impacts on coastal ocean water quality, living resource yields, and the global marine carbon cycle. The initial study area for this program is the Mississippi/Atchafalaya River Outflow and adjacent Louisiana shelf region.

Yeast screens identify the RNA polymerase II CTD and SPT5 as relevant targets of BRCA1 interaction.

BRCA1 has been implicated in numerous DNA repair pathways that maintain genome integrity, however the function responsible for its tumor suppressor activity in breast cancer remains obscure. To identify the most highly conserved of the many BRCA1 functions, we screened the evolutionarily distant eukaryote Saccharomyces cerevisiae for mutants that suppressed the G1 checkpoint arrest and lethality induced following heterologous BRCA1 expression. A genome-wide screen in the diploid deletion collection combined with a screen of ionizing radiation sensitive gene deletions identified mutants that permit growth in the presence of BRCA1. These genes delineate a metabolic mRNA pathway that temporally links transcription elongation (SPT4, SPT5, CTK1, DEF1) to nucleopore-mediated mRNA export (ASM4, MLP1, MLP2, NUP2, NUP53, NUP120, NUP133, NUP170, NUP188, POM34) and cytoplasmic mRNA decay at P-bodies (CCR4, DHH1). Strikingly, BRCA1 interacted with the phosphorylated RNA polymerase II (RNAPII) carboxy terminal domain (P-CTD), phosphorylated in the pattern specified by the CTDK-I kinase, to induce DEF1-dependent cleavage and accumulation of a RNAPII fragment containing the P-CTD. Significantly, breast cancer associated BRCT domain defects in BRCA1 that suppressed P-CTD cleavage and lethality in yeast also suppressed the physical interaction of BRCA1 with human SPT5 in breast epithelial cells, thus confirming SPT5 as a relevant target of BRCA1 interaction. Furthermore, enhanced P-CTD cleavage was observed in both yeast and human breast cells following UV-irradiation indicating a conserved eukaryotic damage response. Moreover, P-CTD cleavage in breast epithelial cells was BRCA1-dependent since damage-induced P-CTD cleavage was only observed in the mutant BRCA1 cell line HCC1937 following ectopic expression of wild type BRCA1. Finally, BRCA1, SPT5 and hyperphosphorylated RPB1 form a complex that was rapidly degraded following MMS treatment in wild type but not BRCA1 mutant breast cells. These results extend the mechanistic links between BRCA1 and transcriptional consequences in response to DNA damage and suggest an important role for RNAPII P-CTD cleavage in BRCA1-mediated cancer suppression.