Non-deterministic algebraization of logics by swap structures1

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics

First-order swap structures semantics for some Logics of Formal Inconsistency

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered

G'3 as the logic of modal 3-valued Heyting algebras

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained

MicroRNA signature from extracellular vesicles of HCV/HIV co-infected individuals differs from HCV mono-infected

Hepatitis C virus (HCV) coinfection with human immunodeficiency virus (HIV) has a detrimental impact on disease progression. Increasing evidence points to extracellular vesicles (EVs) as important players of the host-viral cross-talk. The microRNAs (miRNAs), as essential components of EVs cargo, are key regulators of normal cellular processes and also promote viral replication, viral pathogenesis, and disease progression. We aimed to characterize the plasma-derived EVs miRNA signature of chronic HCV infected and HIV coinfected patients to unravel the molecular mechanisms of coinfection. EVs were purified and characterized from 50 plasma samples (21 HCV mono- and 29 HCV/HIV co-infected). EV-derived small RNAs were isolated and analyzed by massive sequencing. Known and de novo miRNAs were identified with miRDeep2. Significant differentially expressed (SDE) miRNA identification was performed with generalized linear models and their putative dysregulated biological pathways were evaluated. Study groups were similar for most clinical and epidemiological characteristics. No differences were observed in EVs size or concentration between groups. Therefore, HCV/HIV co-infection condition did not affect the concentration or size of EVs but produced a disturbance in plasma-derived EVs miRNA cargo. Thus, a total of 149 miRNAs were identified (143 known and 6 de novo) leading to 37 SDE miRNAs of which 15 were upregulated and 22 downregulated in HCV/HIV co-infected patients. SDE miRNAs regulate genes involved in inflammation, fibrosis, and cancer, modulating different biological pathways related to HCV and HIV pathogenesis. These findings may help to develop new generation biomarkers and treatment strategies, in addition to elucidate the mechanisms underlying virus-host interaction. KEY MESSAGES: HCV and HCV/HIV displayed similar plasma-EV size and concentration. EVs- derived miRNA profile was characterized by NGS. 37 SDE miRNAs between HCV and HCV/HIV were observed. SDE miRNAs regulate genes involved in inflammation, fibrosis and cancer.Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. This work has been supported by grants from (1) Institute of Health Carlos III, Spain [PI18CIII/00020/ to AFR], (2) PID2021–126781OB-I00 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe”, (3) The SPANISH AIDS Research Network RD16CIII/0002/0002 - ISCIII – FEDER, (4) Centro de Investigación en Red en Enfermedades Infecciosas (CIBERINFEC) CB21/13/00044, (5) the National Agency for Scientific and Technology Promotion (ANPCyT) (PICT 2017 Nº713), and (6) the National Research Council (CONICET, PIP 2021-2023). V.C. received funding form the Asociación Universitaria Iberoamericana de Postgrado (AUIP) for the Academic Mobility Scholarship Program. P.V., E.D.M., and M.V.P. are members of the CONICET-Research Career Program. V.C. is a fellow from ANPCyT. The funder’s had no role in the study design, data collection and analysis, decision to publish, or the preparation of the manuscript.S

Spectroscopic and Mechanistic Studies of Heterodimetallic Forms of Metallo-β-lactamase NDM-1

In an effort to characterize the roles of each metal ion in metallo-β-lactamase NDM-1, heterodimetallic analogues (CoCo-, ZnCo-, and CoCd-) of the enzyme were generated and characterized. UV–vis, 1H NMR, EPR, and EXAFS spectroscopies were used to confirm the fidelity of the metal substitutions, including the presence of a homogeneous, heterodimetallic cluster, with a single-atom bridge. This marks the first preparation of a metallo-β-lactamase selectively substituted with a paramagnetic metal ion, Co(II), either in the Zn1 (CoCd-NDM-1) or in the Zn2 site (ZnCo-NDM-1), as well as both (CoCo-NDM-1). We then used these metal-substituted forms of the enzyme to probe the reaction mechanism, using steady-state and stopped-flow kinetics, stopped-flow fluorescence, and rapid-freeze-quench EPR. Both metal sites show significant effects on the kinetic constants, and both paramagnetic variants (CoCd- and ZnCo-NDM-1) showed significant structural changes on reaction with substrate. These changes are discussed in terms of a minimal kinetic mechanism that incorporates all of the data

The Monofunctional Catalase KatE of Xanthomonas axonopodis pv. citri Is Required for Full Virulence in Citrus Plants

BACKGROUND: Xanthomonas axonopodis pv. citri (Xac) is an obligate aerobic phytopathogen constantly exposed to hydrogen peroxide produced by normal aerobic respiration and by the plant defense response during plant-pathogen interactions. Four putative catalase genes have been identified in silico in the Xac genome, designated as katE, catB, srpA (monofunctional catalases) and katG (bifunctional catalase). METHODOLOGY/PRINCIPAL FINDINGS: Xac catalase activity was analyzed using native gel electrophoresis and semi-quantitative RT-PCR. We demonstrated that the catalase activity pattern was regulated in different growth stages displaying the highest levels during the stationary phase. KatE was the most active catalase in this phase of growth. At this stage cells were more resistant to hydrogen peroxide as was determined by the analysis of CFU after the exposition to different H(2)O(2) concentrations. In addition, Xac exhibited an adaptive response to hydrogen peroxide, displaying higher levels of catalase activity and H(2)O(2) resistance after treatment with sub-lethal concentrations of the oxidant. In the plant-like medium XVM2 the expression of KatE was strongly induced and in this medium Xac was more resistant to H(2)O(2). A XackatE mutant strain was constructed by insertional mutagenesis. We observed that catalase induction in stationary phase was lost meanwhile the adaptive response to peroxide was maintained in this mutant. Finally, the XackatE strain was assayed in planta during host plant interaction rendering a less aggressive phenotype with a minor canker formation. CONCLUSIONS: Our results confirmed that in contrast to other Xanthomonas species, Xac catalase-specific activity is induced during the stationary phase of growth in parallel with the bacterial resistance to peroxide challenge. Moreover, Xac catalases expression pattern is modified in response to any stimuli associated with the plant or the microenvironment it provides. The catalase KatE has been shown to have an important function for the colonization and survival of the bacterium in the citrus plant during the pathogenic process. Our work provides the first genetic evidence to support a monofunctional catalase as a virulence factor in Xac

Field Effectiveness of Pandemic and 2009-2010 Seasonal Vaccines against 2009-2010 A(H1N1) Influenza: Estimations from Surveillance Data in France

BACKGROUND: In this study, we assess how effective pandemic and trivalent 2009-2010 seasonal vaccines were in preventing influenza-like illness (ILI) during the 2009 A(H1N1) pandemic in France. We also compare vaccine effectiveness against ILI versus laboratory-confirmed pandemic A(H1N1) influenza, and assess the possible bias caused by using non-specific endpoints and observational data. METHODOLOGY AND PRINCIPAL FINDINGS: We estimated vaccine effectiveness by using the following formula: VE  =  (PPV-PCV)/(PPV(1-PCV)) × 100%, where PPV is the proportion vaccinated in the population and PCV the proportion of vaccinated influenza cases. People were considered vaccinated three weeks after receiving a dose of vaccine. ILI and pandemic A(H1N1) laboratory-confirmed cases were obtained from two surveillance networks of general practitioners. During the epidemic, 99.7% of influenza isolates were pandemic A(H1N1). Pandemic and seasonal vaccine uptakes in the population were obtained from the National Health Insurance database and by telephonic surveys, respectively. Effectiveness estimates were adjusted by age and week. The presence of residual biases was explored by calculating vaccine effectiveness after the influenza period. The effectiveness of pandemic vaccines in preventing ILI was 52% (95% confidence interval: 30-69) during the pandemic and 33% (4-55) after. It was 86% (56-98) against confirmed influenza. The effectiveness of seasonal vaccines against ILI was 61% (56-66) during the pandemic and 19% (-10-41) after. It was 60% (41-74) against confirmed influenza. CONCLUSIONS: The effectiveness of pandemic vaccines in preventing confirmed pandemic A(H1N1) influenza on the field was high, consistently with published findings. It was significantly lower against ILI. This is unsurprising since not all ILI cases are caused by influenza. Trivalent 2009-2010 seasonal vaccines had a statistically significant effectiveness in preventing ILI and confirmed pandemic influenza, but were not better in preventing confirmed pandemic influenza than in preventing ILI. This lack of difference might be indicative of selection bias

Health Economics of Dengue: A Systematic Literature Review and Expert Panel's Assessment

Dengue vaccines are currently in development and policymakers need appropriate economic studies to determine their potential financial and public health impact. We searched five databases (PubMed, EMBASE, LILAC, EconLit, and WHOLIS) to identify health economics studies of dengue. Forty-three manuscripts were identified that provided primary data: 32 report economic burden of dengue and nine are comparative economic analyses assessing various interventions. The remaining two were a willingness-to-pay study and a policymaker survey. An expert panel reviewed the existing dengue economic literature and recommended future research to fill information gaps. Although dengue is an important vector-borne disease, the economic literature is relatively sparse and results have often been conflicting because of use of inconsistent assumptions. Health economic research specific to dengue is urgently needed to ensure informed decision making on the various options for controlling and preventing this disease

A LOV Protein Modulates the Physiological Attributes of Xanthomonas axonopodis pv. citri Relevant for Host Plant Colonization

Recent studies have demonstrated that an appropriate light environment is required for the establishment of efficient vegetal resistance responses in several plant-pathogen interactions. The photoreceptors implicated in such responses are mainly those belonging to the phytochrome family. Data obtained from bacterial genome sequences revealed the presence of photosensory proteins of the BLUF (Blue Light sensing Using FAD), LOV (Light, Oxygen, Voltage) and phytochrome families with no known functions. Xanthomonas axonopodis pv. citri is a Gram-negative bacterium responsible for citrus canker. The in silico analysis of the X. axonopodis pv. citri genome sequence revealed the presence of a gene encoding a putative LOV photoreceptor, in addition to two genes encoding BLUF proteins. This suggests that blue light sensing could play a role in X. axonopodis pv. citri physiology. We obtained the recombinant Xac-LOV protein by expression in Escherichia coli and performed a spectroscopic analysis of the purified protein, which demonstrated that it has a canonical LOV photochemistry. We also constructed a mutant strain of X. axonopodis pv. citri lacking the LOV protein and found that the loss of this protein altered bacterial motility, exopolysaccharide production and biofilm formation. Moreover, we observed that the adhesion of the mutant strain to abiotic and biotic surfaces was significantly diminished compared to the wild-type. Finally, inoculation of orange (Citrus sinensis) leaves with the mutant strain of X. axonopodis pv. citri resulted in marked differences in the development of symptoms in plant tissues relative to the wild-type, suggesting a role for the Xac-LOV protein in the pathogenic process. Altogether, these results suggest the novel involvement of a photosensory system in the regulation of physiological attributes of a phytopathogenic bacterium. A functional blue light receptor in Xanthomonas spp. has been described for the first time, showing an important role in virulence during citrus canker disease