A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Analysis of the antibody response to an immunodominant epitope of the envelope glycoprotein of a lentivirus and its diagnostic potential

The envelope glycoprotein of small ruminant lentiviruses (SRLV) is a major target of the humoral immune response and contains several linear B-cell epitopes. We amplified and sequenced the genomic segment encoding the SU5 antigenic site of the envelope glycoprotein of several SRLV field isolates. With synthetic peptides based on the deduced amino acid sequences of SU5 in an enzyme-linked immunosorbent assay (ELISA), we have (i) proved the immunodominance of this region regardless of its high variability, (ii) defined the epitopes encompassed by SU5, (iii) illustrated the rapid and peculiar kinetics of seroconversion to this antigenic site, and (iv) shown the rapid and strong maturation of the avidity of the anti-SU5 antibody. Finally, we demonstrated the modular diagnostic potential of SU5 peptides. Under Swiss field conditions, the SU5 ELISA was shown to detect the majority of infected animals and, when applied in a molecular epidemiological context, to permit rapid phylogenetic classification of the infecting virus.

Envelope protein dynamics in paramyxovirus entry.

Paramyxoviruses include major pathogens with significant global health and economic impact. This large family of enveloped RNA viruses infects cells by employing two surface glycoproteins that tightly cooperate to fuse their lipid envelopes with the target cell plasma membrane, an attachment and a fusion (F) protein. Membrane fusion is believed to depend on receptor-induced conformational changes within the attachment protein that lead to the activation and subsequent refolding of F. While structural and mechanistic studies have considerably advanced our insight into paramyxovirus cell adhesion and the structural basis of F refolding, how precisely the attachment protein links receptor engagement to F triggering remained poorly understood. Recent reports based on work with several paramyxovirus family members have transformed our understanding of the triggering mechanism of the membrane fusion machinery. Here, we review these recent findings, which (i) offer a broader mechanistic understanding of the paramyxovirus cell entry system, (ii) illuminate key similarities and differences between entry strategies of different paramyxovirus family members, and (iii) suggest new strategies for the development of novel therapeutics.

Pseudotyping of vesicular stomatitis virus with the envelope glycoproteins of highly pathogenic avian influenza viruses

Pseudotype viruses are useful for studying the envelope proteins of harmful viruses. This work describes the pseudotyping of vesicular stomatitis virus (VSV) with the envelope glycoproteins of highly pathogenic avian influenza viruses. VSV lacking the homotypic glycoprotein (G) gene (VSVΔG) was used to express haemagglutinin (HA), neuraminidase (NA) or the combination of both. Propagation-competent pseudotype viruses were only obtained when HA and NA were expressed from the same vector genome. Pseudotype viruses containing HA from different H5 clades were neutralized specifically by immune sera directed against the corresponding clade. Fast and sensitive reading of test results was achieved by vector-mediated expression of GFP. Pseudotype viruses expressing a mutant VSV matrix protein showed restricted spread in IFN-competent cells. This pseudotype system will facilitate the detection of neutralizing antibodies against virulent influenza viruses, circumventing the need for high-level biosafety containment.

Functional equations and the Cauchy mean value theorem

The aim of this note is to characterize all pairs of sufficiently smooth functions for which the mean value in the Cauchy mean value theorem is taken at a point which has a well-determined position in the interval. As an application of this result, a partial answer is given to a question posed by Sahoo and Riedel.

A four moments theorem for Gamma limits on a Poisson chaos

This paper deals with sequences of random variables belonging to a fixed chaos of order q generated by a Poisson random measure on a Polish space. The problem is investigated whether convergence of the third and fourth moment of such a suitably normalized sequence to the third and fourth moment of a centred Gamma law implies convergence in distribution of the involved random variables. A positive answer is obtained for q = 2 and q = 4. The proof of this four moments theorem is based on a number of new estimates for contraction norms. Applications concern homogeneous sums and U-statistics on the Poisson space.