On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Our first style of calculi is what we call "shallow calculi", where inference rules are only applied at the root node in a nested sequent. Our shallow calculi are extensions of Kashima's calculus for tense logic and share an essential characteristic with display calculi, namely, the presence of structural rules called "display postulates". Shallow calculi enjoy a simple cut elimination procedure, but are unsuitable for proof search due to the presence of display postulates and other structural rules. The second style of calculi uses deep-inference, whereby inference rules can be applied at any node in a nested sequent. We show that, for a range of extensions of tense logic, the two styles of calculi are equivalent, and there is a natural proof theoretic correspondence between display postulates and deep inference. The deep inference calculi enjoy the subformula property and have no display postulates or other structural rules, making them a better framework for proof search

N-Cadherin in Neuroblastoma Disease: Expression and Clinical Significance

One of the first and most important steps in the metastatic cascade is the loss of cell-cell and cell-matrix interactions. N-cadherin, a crucial mediator of homotypic and heterotypic cell-cell interactions, might play a central role in the metastasis of neuroblastoma (NB), a solid tumor of neuroectodermal origin. Using Reverse Transcription Quantitative PCR (RT-qPCR), Western blot, immunocytochemistry and Tissue MicroArrays (TMA) we demonstrate the expression of N-cadherin in neuroblastoma tumors and cell lines. All neuroblastic tumors (n = 356) and cell lines (n = 10) expressed various levels of the adhesion protein. The N-cadherin mRNA expression was significantly lower in tumor samples from patients suffering metastatic disease. Treatment of NB cell lines with the N-cadherin blocking peptide ADH-1 (Exherin, Adherex Technologies Inc.), strongly inhibited tumor cell proliferation in vitro by inducing apoptosis. Our results suggest that N-cadherin signaling may play a role in neuroblastoma disease, marking involvement of metastasis and determining neuroblastoma cell viability

Changes in social norms during the early stages of the COVID-19 pandemic across 43 countries

The emergence of COVID-19 dramatically changed social behavior across societies and contexts. Here we study whether social norms also changed. Specifically, we study this question for cultural tightness (the degree to which societies generally have strong norms), specific social norms (e.g. stealing, hand washing), and norms about enforcement, using survey data from 30,431 respondents in 43 countries recorded before and in the early stages following the emergence of COVID-19. Using variation in disease intensity, we shed light on the mechanisms predicting changes in social norm measures. We find evidence that, after the emergence of the COVID-19 pandemic, hand washing norms increased while tightness and punishing frequency slightly decreased but observe no evidence for a robust change in most other norms. Thus, at least in the short term, our findings suggest that cultures are largely stable to pandemic threats except in those norms, hand washing in this case, that are perceived to be directly relevant to dealing with the collective threat

A microfluidic approach to study the effect of mechanical stress on erythrocytes in sickle cell disease

International audienc