Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before

Enhancement of the Physicochemical Properties of Pt(dien)(nucleobase) (2+) for HIVNCp7 Targeting

Physicochemical properties of coordination compounds can be exploited for molecular recognition of biomolecules. The inherent π-π stacking properties of [Pt(chelate)(N-donor)]2+([PtN4]) complexes were modulated by systematic variation of the chelate (diethylenetriamine and substituted derivatives) and N-donor (nucleobase or nucleoside) in the formally substitution-inert PtN4 coordination sphere. Approaches to target the HIV nucleocapsid protein HIVNCp7 are summarized building on (i) assessment of stacking interactions with simple tryptophan or tryptophan derivatives to (ii) the tryptophan-containing C-terminal zinc finger and (iii) to the full two-zinc finger peptide and its interactions with RNA and DNA. The xanthosine nucleoside was identified as having significantly enhanced stacking capability over guanosine. Correlation of the LUMO energies of the modified nucleobases with the DFT π-stacking energies shows that frontier orbital energies of the individual monomers can be used as a first estimate of the π-stacking strength to Trp. Cellular accumulation studies showed no significant correlation with lipophilicity of the compounds, but all compounds had very low cytotoxicity suggesting the potential for antiviral selectivity. The conceptual similarities between nucleobase alkylation and platination validates the design of formally substitution-inert coordination complexes as weak Lewis acid electrophiles for selective peptide targeting

Disruption of TGF-β Signaling Improves Ocular Surface Epithelial Disease in Experimental Autoimmune Keratoconjunctivitis Sicca

TGF-β is a pleiotropic cytokine that can have pro- or anti-inflammatory effects depending on the context. Elevated levels of bioactive TGF-β1 in tears and elevated TGF-β1mRNA transcripts in conjunctiva and minor salivary glands of human Sjögren's Syndrome patients has also been reported. The purpose of this study was to evaluate the response to desiccating stress (DS), an experimental model of dry eye, in dominant-negative TGF-β type II receptor (CD4-DNTGFβRII) mice. These mice have a truncated TGF-β receptor in CD4(+) T cells, rendering them unresponsive to TGF-β.DS was induced by subcutaneous injection of scopolamine and exposure to a drafty low humidity environment in CD4-DNTGFβRII and wild-type (WT) mice, aged 14 weeks, for 5 days. Nonstressed (NS) mice served as controls. Parameters of ocular surface disease included corneal smoothness, corneal barrier function and conjunctival goblet cell density. NS CD4-DNTGFβRII at 14 weeks of age mice exhibited a spontaneous dry eye phenotype; however, DS improved their corneal barrier function and corneal surface irregularity, increased their number of PAS+ GC, and lowered CD4(+) T cell infiltration in conjunctiva. In contrast to WT, CD4-DNTGFβRII mice did not generate a Th-17 and Th-1 response, and they failed to upregulate MMP-9, IL-23, IL-17A, RORγT, IFN-γ and T-bet mRNA transcripts in conjunctiva. RAG1KO recipients of adoptively transferred CD4+T cells isolated from DS5 CD4-DNTGFβRII showed milder dry eye phenotype and less conjunctival inflammation than recipients of WT control.Our results showed that disruption of TGF-β signaling in CD4(+) T cells causes paradoxical improvement of dry eye disease in mice subjected to desiccating stress

NK Cells Promote Th-17 Mediated Corneal Barrier Disruption in Dry Eye

The conjunctiva contains a specialized population of lymphocytes that reside in the epithelium, named intraepithelial lymphocytes (IEL).Here we characterized the IEL population prior to and after experimental desiccating stress (DS) for 5 or 10 days (DS5, DS10) and evaluated the effect of NK depletion on DS. The frequency of IELs in normal murine conjunctiva was CD3(+)CD103(+) (~22%), CD3(+)γδ(+) (~9.6%), CD3(+)NK(+) (2%), CD3(-)NK(+) (~4.4%), CD3(+)CD8α (~0.9%), and CD4 (~0.6%). Systemic depletion of NK cells prior and during DS led to a decrease in the frequency of total and activated DCs, a decrease in T helper-17(+) cells in the cervical lymph nodes and generation of less pathogenic CD4(+)T cells. B6.nude recipient mice of adoptively transferred CD4(+)T cells isolated from NK-depleted DS5 donor mice showed significantly less corneal barrier disruption, lower levels of IL-17A, CCL20 and MMP-3 in the cornea epithelia compared to recipients of control CD4(+)T cells.Taken together, these results show that the NK IELs are involved in the acute immune response to desiccation-induced dry eye by activating DC, which in turn coordinate generation of the pathogenic Th-17 response

Doping-dependent study of the periodic Anderson model in three dimensions

We study a simple model for $f$-electron systems, the three-dimensional periodic Anderson model, in which localized $f$ states hybridize with neighboring $d$ states. The $f$ states have a strong on-site repulsion which suppresses the double occupancy and can lead to the formation of a Mott-Hubbard insulator. When the hybridization between the $f$ and $d$ states increases, the effects of these strong electron correlations gradually diminish, giving rise to interesting phenomena on the way. We use the exact quantum Monte-Carlo, approximate diagrammatic fluctuation-exchange approximation, and mean-field Hartree-Fock methods to calculate the local moment, entropy, antiferromagnetic structure factor, singlet-correlator, and internal energy as a function of the $f-d$ hybridization for various dopings. Finally, we discuss the relevance of this work to the volume-collapse phenomenon experimentally observed in f-electron systems.Comment: 12 pages, 8 figure

Coronarin D induces apoptotic cell death and cell cycle arrest in human glioblastoma cell line

Glioblastoma (GBM) is the most frequent and highest–grade brain tumor in adults. The prognosis is still poor despite the use of combined therapy involving maximal surgical resection, radiotherapy, and chemotherapy. The development of more efficient drugs without noticeable side effects is urgent. Coronarin D is a diterpene obtained from the rhizome extract of Hedychium coronarium, classified as a labdane with several biological activities, principally anticancer potential. The aim of the present study was to determine the anti–cancer properties of Coronarin D in the glioblastoma cell line and further elucidate the underlying molecular mechanisms. Coronarin D potently suppressed cell viability in glioblastoma U–251 cell line, and also induced G1 arrest by reducing p21 protein and histone H2AX phosphorylation, leading to DNA damage and apoptosis. Further studies showed that Coronarin D increased the production of reactive oxygen species, lead to mitochondrial membrane potential depolarization, and subsequently activated caspases and ERK phosphorylation, major mechanisms involved in apoptosis. To our knowledge, this is the first analysis referring to this compound on the glioma cell line. These findings highlight the antiproliferative activity of Coronarin D against glioblastoma cell line U–251 and provide a basis for further investigation on its antineoplastic activity on brain cancer.This research was funded by grants from the Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP 2014/06636–7 and 2016/06137–6), financiadora de Estudos e Projetos FINEP (MCTI/FINEP/MS/SCTIE/DECIT–01/2013–FPXII–BIOPLAT)

Prognostic utility of serum free light chain ratios and heavy-light chain ratios in multiple myeloma in three PETHEMA/GEM phase III clinical trials

We investigated the prognostic impact and clinical utility of serum free light chains (sFLC) and serum heavy-light chains (sHLC) in patients with multiple myeloma treated according to the GEM2005MENOS65, GEM2005MAS65, and GEM2010MAS65 PETHEMA/GEM phase III clinical trials. Serum samples collected at diagnosis were retrospectively analyzed for sFLC (n = 623) and sHLC (n = 183). After induction or autologous transplantation, 309 and 89 samples respectively were available for sFLC and sHLC assays. At diagnosis, a highly abnormal (HA) sFLC ratio (sFLCr) (32) was not associated with higher risk of progression. After therapy, persistence of involved-sFLC levels >100 mg/L implied worse survival (overall survival [OS], P = 0.03; progression-free survival [PFS], P = 0.007). Among patients that achieved a complete response, sFLCr normalization did not necessarily indicate a higher quality response. We conducted sHLC investigations for IgG and IgA MM. Absolute sHLC values were correlated with monoclonal protein levels measured with serum protein electrophoresis. At diagnosis, HA-sHLCrs (73) showed a higher risk of progression (P = 0.006). Additionally, involved-sHLC levels >5 g/L after treatment were associated with shorter survival (OS, P = 0.001; PFS, P = 0.018). The HA-sHLCr could have prognostic value at diagnosis; absolute values of involved-sFLC >100 mg/L and involved-sHLC >5 g/L could have prognostic value after treatment