Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Two-pion Bose-Einstein correlations in central Pb-Pb collisions at sNN\sqrt{s_{\rm NN}} = 2.76 TeV

The first measurement of two-pion Bose-Einstein correlations in central Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV at the Large Hadron Collider is presented. We observe a growing trend with energy now not only for the longitudinal and the outward but also for the sideward pion source radius. The pion homogeneity volume and the decoupling time are significantly larger than those measured at RHIC.Comment: 17 pages, 5 captioned figures, 1 table, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/388

Suppression of charged particle production at large transverse momentum in central Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}} = 2.76 TeV

Inclusive transverse momentum spectra of primary charged particles in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0-5% and 70-80% of the hadronic Pb-Pb cross section. The measured charged particle spectra in $|\eta|<0.8$ and $0.3 < p_T < 20$ GeV/$c$ are compared to the expectation in pp collisions at the same $\sqrt{s_{\rm NN}}$, scaled by the number of underlying nucleon-nucleon collisions. The comparison is expressed in terms of the nuclear modification factor $R_{\rm AA}$. The result indicates only weak medium effects ($R_{\rm AA} \approx$ 0.7) in peripheral collisions. In central collisions, $R_{\rm AA}$ reaches a minimum of about 0.14 at $p_{\rm T}=6$-7GeV/$c$ and increases significantly at larger $p_{\rm T}$. The measured suppression of high-$p_{\rm T}$ particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb-Pb collisions at the LHC.Comment: 15 pages, 5 captioned figures, 3 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/98

Strange particle production in proton-proton collisions at s=0.9\sqrt{s}=0.9 TeV with ALICE at the LHC

The production of mesons containing strange quarks (K$^0_s$, $\phi$) and both singly and doubly strange baryons ($\Lambda$, Anti-$\Lambda$, and $\Xi$+Anti-$\Xi$) are measured at central rapidity in pp collisions at $\sqrt{s}$ = 0.9 TeV with the ALICE experiment at the LHC. The results are obtained from the analysis of about 250 k minimum bias events recorded in 2009. Measurements of yields (dN/dy) and transverse momentum spectra at central rapidities for inelastic pp collisions are presented. For mesons, we report yields () of 0.184 $\pm$ 0.002 stat. $\pm$ 0.006 syst. for K$^0_s$ and 0.021 $\pm$ 0.004 stat. $\pm$ 0.003 syst. for $\phi$. For baryons, we find = 0.048 $\pm$ 0.001 stat. $\pm$ 0.004 syst. for $\Lambda$, 0.047 $\pm$ 0.002 stat. $\pm$ 0.005 syst. for Anti-$\Lambda$ and 0.0101 $\pm$ 0.0020 stat. $\pm$ 0.0009 syst. for $\Xi$+Anti-$\Xi$. The results are also compared with predictions for identified particle spectra from QCD-inspired models and provide a baseline for comparisons with both future pp measurements at higher energies and heavy-ion collisions.Comment: 33 pages, 21 captioned figures, 10 tables, authors from page 28, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/387

Particle-yield modification in jet-like azimuthal di-hadron correlations in Pb-Pb collisions at sNN\sqrt{s_{\rm NN}} = 2.76 TeV

The yield of charged particles associated with high-$p_{\rm T}$ trigger particles ($8 < p_{\rm T} < 15$ GeV/$c$) is measured with the ALICE detector in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV relative to proton-proton collisions at the same energy. The conditional per-trigger yields are extracted from the narrow jet-like correlation peaks in azimuthal di-hadron correlations. In the 5% most central collisions, we observe that the yield of associated charged particles with transverse momenta $p_{\rm T}> 3$ GeV/$c$ on the away-side drops to about 60% of that observed in pp collisions, while on the near-side a moderate enhancement of 20-30% is found.Comment: 15 pages, 2 captioned figures, 1 table, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/350

Production of pions, kaons and protons in pp collisions at s=900\sqrt{s}=900 GeV with ALICE at the LHC

The production of $\pi^+$, $\pi^-$, $K^+$, $K^-$, p, and pbar at mid-rapidity has been measured in proton-proton collisions at $\sqrt{s} = 900$ GeV with the ALICE detector. Particle identification is performed using the specific energy loss in the inner tracking silicon detector and the time projection chamber. In addition, time-of-flight information is used to identify hadrons at higher momenta. Finally, the distinctive kink topology of the weak decay of charged kaons is used for an alternative measurement of the kaon transverse momentum ($p_{\rm T}$) spectra. Since these various particle identification tools give the best separation capabilities over different momentum ranges, the results are combined to extract spectra from $p_{\rm T}$ = 100 MeV/$c$ to 2.5 GeV/$c$. The measured spectra are further compared with QCD-inspired models which yield a poor description. The total yields and the mean $p_{\rm T}$ are compared with previous measurements, and the trends as a function of collision energy are discussed.Comment: 24 pages, 18 captioned figures, 5 tables, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/388

Population and fertility by age and sex for 195 countries and territories, 1950–2017: a systematic analysis for the Global Burden of Disease Study 2017

Background: Population estimates underpin demographic and epidemiological research and are used to track progress on numerous international indicators of health and development. To date, internationally available estimates of population and fertility, although useful, have not been produced with transparent and replicable methods and do not use standardised estimates of mortality. We present single-calendar year and single-year of age estimates of fertility and population by sex with standardised and replicable methods. Methods: We estimated population in 195 locations by single year of age and single calendar year from 1950 to 2017 with standardised and replicable methods. We based the estimates on the demographic balancing equation, with inputs of fertility, mortality, population, and migration data. Fertility data came from 7817 location-years of vital registration data, 429 surveys reporting complete birth histories, and 977 surveys and censuses reporting summary birth histories. We estimated age-specific fertility rates (ASFRs; the annual number of livebirths to women of a specified age group per 1000 women in that age group) by use of spatiotemporal Gaussian process regression and used the ASFRs to estimate total fertility rates (TFRs; the average number of children a woman would bear if she survived through the end of the reproductive age span [age 10–54 years] and experienced at each age a particular set of ASFRs observed in the year of interest). Because of sparse data, fertility at ages 10–14 years and 50–54 years was estimated from data on fertility in women aged 15–19 years and 45–49 years, through use of linear regression. Age-specific mortality data came from the Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2017 estimates. Data on population came from 1257 censuses and 761 population registry location-years and were adjusted for underenumeration and age misreporting with standard demographic methods. Migration was estimated with the GBD Bayesian demographic balancing model, after incorporating information about refugee migration into the model prior. Final population estimates used the cohort-component method of population projection, with inputs of fertility, mortality, and migration data. Population uncertainty was estimated by use of out-of-sample predictive validity testing. With these data, we estimated the trends in population by age and sex and in fertility by age between 1950 and 2017 in 195 countries and territories. Findings: From 1950 to 2017, TFRs decreased by 49\ub74% (95% uncertainty interval [UI] 46\ub74–52\ub70). The TFR decreased from 4\ub77 livebirths (4\ub75–4\ub79) to 2\ub74 livebirths (2\ub72–2\ub75), and the ASFR of mothers aged 10–19 years decreased from 37 livebirths (34–40) to 22 livebirths (19–24) per 1000 women. Despite reductions in the TFR, the global population has been increasing by an average of 83\ub78 million people per year since 1985. The global population increased by 197\ub72% (193\ub73–200\ub78) since 1950, from 2\ub76 billion (2\ub75–2\ub76) to 7\ub76 billion (7\ub74–7\ub79) people in 2017; much of this increase was in the proportion of the global population in south Asia and sub-Saharan Africa. The global annual rate of population growth increased between 1950 and 1964, when it peaked at 2\ub70%; this rate then remained nearly constant until 1970 and then decreased to 1\ub71% in 2017. Population growth rates in the southeast Asia, east Asia, and Oceania GBD super-region decreased from 2\ub75% in 1963 to 0\ub77% in 2017, whereas in sub-Saharan Africa, population growth rates were almost at the highest reported levels ever in 2017, when they were at 2\ub77%. The global average age increased from 26\ub76 years in 1950 to 32\ub71 years in 2017, and the proportion of the population that is of working age (age 15–64 years) increased from 59\ub79% to 65\ub73%. At the national level, the TFR decreased in all countries and territories between 1950 and 2017; in 2017, TFRs ranged from a low of 1\ub70 livebirths (95% UI 0\ub79–1\ub72) in Cyprus to a high of 7\ub71 livebirths (6\ub78–7\ub74) in Niger. The TFR under age 25 years (TFU25; number of livebirths expected by age 25 years for a hypothetical woman who survived the age group and was exposed to current ASFRs) in 2017 ranged from 0\ub708 livebirths (0\ub707–0\ub709) in South Korea to 2\ub74 livebirths (2\ub72–2\ub76) in Niger, and the TFR over age 30 years (TFO30; number of livebirths expected for a hypothetical woman ageing from 30 to 54 years who survived the age group and was exposed to current ASFRs) ranged from a low of 0\ub73 livebirths (0\ub73–0\ub74) in Puerto Rico to a high of 3\ub71 livebirths (3\ub70–3\ub72) in Niger. TFO30 was higher than TFU25 in 145 countries and territories in 2017. 33 countries had a negative population growth rate from 2010 to 2017, most of which were located in central, eastern, and western Europe, whereas population growth rates of more than 2\ub70% were seen in 33 of 46 countries in sub-Saharan Africa. In 2017, less than 65% of the national population was of working age in 12 of 34 high-income countries, and less than 50% of the national population was of working age in Mali, Chad, and Niger. Interpretation: Population trends create demographic dividends and headwinds (ie, economic benefits and detriments) that affect national economies and determine national planning needs. Although TFRs are decreasing, the global population continues to grow as mortality declines, with diverse patterns at the national level and across age groups. To our knowledge, this is the first study to provide transparent and replicable estimates of population and fertility, which can be used to inform decision making and to monitor progress. Funding: Bill &amp; Melinda Gates Foundation

Centrality dependence of inclusive J/\u3c8 production in p-Pb collisions at 1asNN = 5.02 TeV

We present a measurement of inclusive J/\u3c8 production in p-Pb collisions at 1asNN = 5.02TeV as a function of the centrality of the collision, as estimated from the energy deposited in the Zero Degree Calorimeters. The measurement is performed with the ALICE detector down to zero transverse momentum, pT, in the backward ( 124.46 < ycms < 122.96) and forward (2.03 < ycms < 3.53) rapidity intervals in the dimuon decay channel and in the mid-rapidity region ( 121.37 < ycms < 0.43) in the dielectron decay channel. The backward and forward rapidity intervals correspond to the Pb-going and p-going direction, respectively. The pT-differential J/\u3c8 production cross section at backward and forward rapidity is measured for several centrality classes, together with the corresponding average pT and pT2 values. The nuclear modification factor is presented as a function of centrality for the three rapidity intervals, and as a function of pT for several centrality classes at backward and forward rapidity. At mid- and forward rapidity, the J/\u3c8 yield is suppressed up to 40% compared to that in pp interactions scaled by the number of binary collisions. The degree of suppression increases towards central p-Pb collisions at forward rapidity, and with decreasing pT of the J/\u3c8. At backward rapidity, the nuclear modification factor is compatible with unity within the total uncertainties, with an increasing trend from peripheral to central p-Pb collisions