Classical BI: Its Semantics and Proof Theory

We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have the normal bunched logic reading as declarative statements about resources, but its resource models necessarily feature more structure than those for other bunched logics; principally, they satisfy the requirement that every resource has a unique dual. At the proof-theoretic level, a very natural formalism for CBI is provided by a display calculus \`a la Belnap, which can be seen as a generalisation of the bunched sequent calculus for BI. In this paper we formulate the aforementioned model theory and proof theory for CBI, and prove some fundamental results about the logic, most notably completeness of the proof theory with respect to the semantics.Comment: 42 pages, 8 figure

Loss of fibulin-4 disrupts collagen synthesis and maturation: implications for pathology resulting from EFEMP2 mutations

Homozygous recessive mutations in either EFEMP2 (encoding fibulin-4) or FBLN5 (encoding fibulin-5), critical genes for elastogenesis, lead to autosomal recessive cutis laxa types 1B and 1A, respectively. Previously, fibulin-4 was shown to bind lysyl oxidase (LOX), an elastin/collagen cross-linking enzyme, in vitro. Consistently, reported defects in humans with EFEMP2 mutations are more severe and broad in range than those due to FBLN5 mutations and encompass both elastin-rich and collagen-rich tissues. However, the underlying disease mechanism in EFEMP2 mutations has not been fully addressed. Here, we show that fibulin-4 is important for the integrity of aortic collagen in addition to elastin. Smooth muscle-specific Efemp2 loss in mouse (termed SMKO) resulted in altered fibrillar collagen localization with larger, poorly organized fibrils. LOX activity was decreased in Efemp2-null cells, and collagen cross-linking was diminished in SMKO aortas; however, elastin cross-linking was unaffected and the level of mature LOX was maintained to that of wild-type aortas. Proteomic screening identified multiple proteins involved in procollagen processing and maturation as potential fibulin-4-binding partners. We showed that fibulin-4 binds procollagen C-endopeptidase enhancer 1 (Pcolce), which enhances proteolytic cleavage of the procollagen C-terminal propeptide during procollagen processing. Interestingly, however, procollagen cleavage was not affected by the presence or absence of fibulin-4 in vitro. Thus, our data indicate that fibulin-4 serves as a potential scaffolding protein during collagen maturation in the extracellular space. Analysis of collagen in other tissues affected by fibulin-4 loss should further increase our understanding of underlying pathologic mechanisms in patients with EFEMP2 mutations

The association between baseline persistent pain and weight change in patients attending a specialist weight management service

To quantify the influence of baseline pain levels on weight change at one-year follow-up in patients attending a National Health Service specialist weight management programme.We compared one-year follow-up weight (body mass) change between patient sub-groups of none-to-mild, moderate, and severe pain at baseline. A mean sub-group difference in weight change of ≥5kg was considered clinically relevant.Of the 141 complete cases, n = 43 (30.5%) reported none-to-mild pain, n = 44 (31.2%) reported moderate pain, and n = 54 (38.3%) reported severe pain. Covariate-adjusted mean weight loss (95%CI) was similar for those with none-to-mild (8.1kg (4.2 to 12.0kg)) and moderate pain (8.3kg (4.9 to 11.7kg). The mean weight loss of 3.0kg (-0.4 to 6.4kg) for the severe pain group was 5.1kg (-0.6 to 10.7, p = 0.08) lower than the none-to-mild pain group and 5.3kg (0.4 to 10.2kg, p = 0.03) lower than the moderate pain group.Patients with severe pain upon entry to a specialist weight management service in England achieve a smaller mean weight loss at one-year follow-up than those with none-to-moderate pain. The magnitude of the difference in mean weight loss was clinically relevant, highlighting the importance of addressing severe persistent pain in obese patients undertaking weight management programmes

Adding 6 months of androgen deprivation therapy to postoperative radiotherapy for prostate cancer: a comparison of short-course versus no androgen deprivation therapy in the RADICALS-HD randomised controlled trial

Background Previous evidence indicates that adjuvant, short-course androgen deprivation therapy (ADT) improves metastasis-free survival when given with primary radiotherapy for intermediate-risk and high-risk localised prostate cancer. However, the value of ADT with postoperative radiotherapy after radical prostatectomy is unclear. Methods RADICALS-HD was an international randomised controlled trial to test the efficacy of ADT used in combination with postoperative radiotherapy for prostate cancer. Key eligibility criteria were indication for radiotherapy after radical prostatectomy for prostate cancer, prostate-specific antigen less than 5 ng/mL, absence of metastatic disease, and written consent. Participants were randomly assigned (1:1) to radiotherapy alone (no ADT) or radiotherapy with 6 months of ADT (short-course ADT), using monthly subcutaneous gonadotropin-releasing hormone analogue injections, daily oral bicalutamide monotherapy 150 mg, or monthly subcutaneous degarelix. Randomisation was done centrally through minimisation with a random element, stratified by Gleason score, positive margins, radiotherapy timing, planned radiotherapy schedule, and planned type of ADT, in a computerised system. The allocated treatment was not masked. The primary outcome measure was metastasis-free survival, defined as distant metastasis arising from prostate cancer or death from any cause. Standard survival analysis methods were used, accounting for randomisation stratification factors. The trial had 80% power with two-sided α of 5% to detect an absolute increase in 10-year metastasis-free survival from 80% to 86% (hazard ratio [HR] 0·67). Analyses followed the intention-to-treat principle. The trial is registered with the ISRCTN registry, ISRCTN40814031, and ClinicalTrials.gov, NCT00541047. Findings Between Nov 22, 2007, and June 29, 2015, 1480 patients (median age 66 years [IQR 61–69]) were randomly assigned to receive no ADT (n=737) or short-course ADT (n=743) in addition to postoperative radiotherapy at 121 centres in Canada, Denmark, Ireland, and the UK. With a median follow-up of 9·0 years (IQR 7·1–10·1), metastasis-free survival events were reported for 268 participants (142 in the no ADT group and 126 in the short-course ADT group; HR 0·886 [95% CI 0·688–1·140], p=0·35). 10-year metastasis-free survival was 79·2% (95% CI 75·4–82·5) in the no ADT group and 80·4% (76·6–83·6) in the short-course ADT group. Toxicity of grade 3 or higher was reported for 121 (17%) of 737 participants in the no ADT group and 100 (14%) of 743 in the short-course ADT group (p=0·15), with no treatment-related deaths. Interpretation Metastatic disease is uncommon following postoperative bed radiotherapy after radical prostatectomy. Adding 6 months of ADT to this radiotherapy did not improve metastasis-free survival compared with no ADT. These findings do not support the use of short-course ADT with postoperative radiotherapy in this patient population

Duration of androgen deprivation therapy with postoperative radiotherapy for prostate cancer: a comparison of long-course versus short-course androgen deprivation therapy in the RADICALS-HD randomised trial

Background Previous evidence supports androgen deprivation therapy (ADT) with primary radiotherapy as initial treatment for intermediate-risk and high-risk localised prostate cancer. However, the use and optimal duration of ADT with postoperative radiotherapy after radical prostatectomy remains uncertain. Methods RADICALS-HD was a randomised controlled trial of ADT duration within the RADICALS protocol. Here, we report on the comparison of short-course versus long-course ADT. Key eligibility criteria were indication for radiotherapy after previous radical prostatectomy for prostate cancer, prostate-specific antigen less than 5 ng/mL, absence of metastatic disease, and written consent. Participants were randomly assigned (1:1) to add 6 months of ADT (short-course ADT) or 24 months of ADT (long-course ADT) to radiotherapy, using subcutaneous gonadotrophin-releasing hormone analogue (monthly in the short-course ADT group and 3-monthly in the long-course ADT group), daily oral bicalutamide monotherapy 150 mg, or monthly subcutaneous degarelix. Randomisation was done centrally through minimisation with a random element, stratified by Gleason score, positive margins, radiotherapy timing, planned radiotherapy schedule, and planned type of ADT, in a computerised system. The allocated treatment was not masked. The primary outcome measure was metastasis-free survival, defined as metastasis arising from prostate cancer or death from any cause. The comparison had more than 80% power with two-sided α of 5% to detect an absolute increase in 10-year metastasis-free survival from 75% to 81% (hazard ratio [HR] 0·72). Standard time-to-event analyses were used. Analyses followed intention-to-treat principle. The trial is registered with the ISRCTN registry, ISRCTN40814031, and ClinicalTrials.gov , NCT00541047 . Findings Between Jan 30, 2008, and July 7, 2015, 1523 patients (median age 65 years, IQR 60–69) were randomly assigned to receive short-course ADT (n=761) or long-course ADT (n=762) in addition to postoperative radiotherapy at 138 centres in Canada, Denmark, Ireland, and the UK. With a median follow-up of 8·9 years (7·0–10·0), 313 metastasis-free survival events were reported overall (174 in the short-course ADT group and 139 in the long-course ADT group; HR 0·773 [95% CI 0·612–0·975]; p=0·029). 10-year metastasis-free survival was 71·9% (95% CI 67·6–75·7) in the short-course ADT group and 78·1% (74·2–81·5) in the long-course ADT group. Toxicity of grade 3 or higher was reported for 105 (14%) of 753 participants in the short-course ADT group and 142 (19%) of 757 participants in the long-course ADT group (p=0·025), with no treatment-related deaths. Interpretation Compared with adding 6 months of ADT, adding 24 months of ADT improved metastasis-free survival in people receiving postoperative radiotherapy. For individuals who can accept the additional duration of adverse effects, long-course ADT should be offered with postoperative radiotherapy. Funding Cancer Research UK, UK Research and Innovation (formerly Medical Research Council), and Canadian Cancer Society

Academy of Sciences of the Czech Republic

We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory validated by this interpretation interprets arithmetical truth. We also show that every extension of TC has a model that is not isomorphic to a structure of decorated order types. We provide a positive result, to wit a construction that builds structures of decorated order types from models of a suitable concatenation theory. This construction has the property that if there is a representation of a certain kind, then the construction provides a representation of that kind. 1

Le coeur de London = The Heart of London

Texts by 11 artists presented in a comic book format. Biographical notes

Loss of fibulin-4 disrupts collagen synthesis and maturation: implications for pathology resulting from EFEMP2

Homozygous recessive mutations in either EFEMP2 (encoding fibulin-4) or FBLN5 (encoding fibulin-5), critical genes for elastogenesis, lead to autosomal recessive cutis laxa types 1B and 1A, respectively. Previously, fibulin-4 was shown to bind lysyl oxidase (LOX), an elastin/collagen cross-linking enzyme, in vitro. Consistently, reported defects in humans with EFEMP2 mutations are more severe and broad in range than those due to FBLN5 mutations and encompass both elastin-rich and collagen-rich tissues. However, the underlying disease mechanism in EFEMP2 mutations has not been fully addressed. Here, we show that fibulin-4 is important for the integrity of aortic collagen in addition to elastin. Smooth muscle-specific Efemp2 loss in mouse (termed SMKO) resulted in altered fibrillar collagen localization with larger, poorly organized fibrils. LOX activity was decreased in Efemp2-null cells, and collagen cross-linking was diminished in SMKO aortas; however, elastin cross-linking was unaffected and the level of mature LOX was maintained to that of wild-type aortas. Proteomic screening identified multiple proteins involved in procollagen processing and maturation as potential fibulin-4-binding partners. We showed that fibulin-4 binds procollagen C-endopeptidase enhancer 1 (Pcolce), which enhances proteolytic cleavage of the procollagen C-terminal propeptide during procollagen processing. Interestingly, however, procollagen cleavage was not affected by the presence or absence of fibulin-4 in vitro. Thus, our data indicate that fibulin-4 serves as a potential scaffolding protein during collagen maturation in the extracellular space. Analysis of collagen in other tissues affected by fibulin-4 loss should further increase our understanding of underlying pathologic mechanisms in patients with EFEMP2 mutations

The Impact of the Business Cycle on Service Providers

For service providers, it is essential to understand how their business is affected by the macroeconomy. This is especially pressing for the tourism sector, the world’s largest export service, because the number of incoming visitors is likely to be strongly determined by the business cycles in the countries of origin. Utilizing state-of-the-art business-cycle metrics, we derive novel insights on the relationship between international tourism and the business cycle. We find an excess sensitivity of the sector to economic cycles based on a multidecade data set of international visitors to New Zealand coming from multiple counties and with various visitor purposes. However, we find no asymmetries in the speed of adjustment across contractions and expansions, suggesting a quicker recovery than many other (nonservice) sectors. Moreover, a higher cyclical volatility results in higher growth in the long run. A robustness check for two more destination countries (Australia and Japan) yields comparable insights. The results underscore the need to closely monitor the cyclical sensitivity and long-term growth prospects of the various visitor streams into the country, in order to (i) better tailor the accommodations and services to these streams and (ii) exploit diversification opportunities to reduce the overall cyclical volatility