Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.Comment: 35 pages, 1 figur

Structural and mechanical effects of interstitial sinks

Changes in structure and mechanical properties due to loss of interstitials to reactive metal coatings studied in dispersion strengthened niobium alloy

Psychological stress and cardiovascular disease: empirical demonstration of bias in a prospective observational study of Scottish men

Objectives: To examine the association between self perceived psychological stress and cardiovascular disease in a population where stress was not associated with social disadvantage. Design: Prospective observational study with follow up of 21 years and repeat screening of half the cohort 5 years from baseline. Measures included perceived psychological stress, coronary risk factors, self reported angina, and ischaemia detected by electrocardiography. Setting: 27 workplaces in Scotland. Participants: 5606 men (mean age 48 years) at first screening and 2623 men at second screening with complete data on all measures Main outcome measures: Prevalence of angina and ischaemia at baseline, odds ratio for incident angina and ischaemia at second screening, rate ratios for cause specific hospital admission, and hazard ratios for cause specific mortality. Results: Both prevalence and incidence of angina increased with increasing perceived stress (fully adjusted odds ratio for incident angina, high versus low stress 2.66, 95% confidence interval 1.61 to 4.41; P for trend <0.001). Prevalence and incidence of ischaemia showed weak trends in the opposite direction. High stress was associated with a higher rate of admissions to hospital generally and for admissions related to cardiovascular disease and psychiatric disorders (fully adjusted rate ratios for any general hospital admission 1.13, 1.01 to 1.27, cardiovascular disease 1.20, 1.00 to 1.45, and psychiatric disorders 2.34, 1.41 to 3.91). High stress was not associated with increased admission for coronary heart disease (1.00, 0.76-1.32) and showed an inverse relation with all cause mortality, mortality from cardiovascular disease, and mortality from coronary heart disease, that was attenuated by adjustment for occupational class (fully adjusted hazard ratio for all cause mortality 0.94, 0.81 to 1.11, cardiovascular mortality 0.91, 0.78 to 1.06, and mortality from coronary heart disease 0.98, 0.75 to 1.27). Conclusions: The relation between higher stress, angina, and some categories of hospital admissions probably resulted from the tendency of participants reporting higher stress to also report more symptoms. The lack of a corresponding relation with objective indices of heart disease suggests that these symptoms did not reflect physical disease. The data suggest that associations between psychosocial measures and disease outcomes reported from some other studies may be spurious

Limitations of adjustment for reporting tendency in observational studies of stress and self reported coronary heart disease

Recently, observational evidence has been suggested to show a causal association between various "psychosocial" exposures, including psychological stress, and heart disease. Much of this evidence derives from studies in which a self reported psychosocial exposure is related to an outcome dependent on the subjective experience of coronary heart disease (CHD) symptoms. Such outcomes may be measured using standard symptom questionnaires (like the Rose angina schedule). Alternatively they may use diagnoses of disease from medical records, which depend on an individual perceiving symptoms and reporting them to a health worker. In these situations, reporting bias may generate spurious exposure-outcome associations. For example if people who perceive and report their life as most stressful also over-report symptoms of cardiovascular disease then an artefactual association between stress and heart disease will result

Measuring ^{12}C(&alpha,&gamma)^{16}O from White Dwarf Asteroseismology

During helium burning in the core of a red giant, the relative rates of the 3&alpha and ^{12}C(&alpha,&gamma)^{16}O reactions largely determine the final ratio of carbon to oxygen in the resulting white dwarf star. The uncertainty in the 3&alpha reaction at stellar energies due to the extrapolation from high-energy laboratory measurements is relatively small, but this is not the case for the ^{12}C(&alpha,&gamma)^{16}O reaction. Recent advances in the analysis of asteroseismological data on pulsating white dwarf stars now make it possible to obtain precise measurements of the central ratio of carbon to oxygen, providing a more direct way to measure the ^{12}C(&alpha,&gamma)^{16}O reaction rate at stellar energies. We assess the systematic uncertainties of this approach and quantify small shifts in the measured central oxygen abundance originating from the observations and from model settings that are kept fixed during the optimization. Using new calculations of white dwarf internal chemical profiles, we find a rate for the ^{12}C(&alpha,&gamma)^{16}O reaction that is significantly higher than most published values. The accuracy of this method may improve as we modify some of the details of our description of white dwarf interiors that were not accessible through previous model-fitting methods.Comment: 8 pages, 4 figures, 3 tables, uses emulateapj5.sty, Accepted for publication in the Astrophysical Journa

Analysis of IUE spectra of helium-rich white dwarf stars

We studied the class of DB white dwarf stars, using re-calibrated UV spectra for thirty four DBs obtained with the IUE satellite. By comparing the observed energy distributions with model atmospheres, we simultaneously determine spectroscopic distances (d), effective temperature (Teff), and surface gravities (log g). Using parallax measurements and previous determinations of Teff and log g from optical spectra, we can study whether the atmospheres of eleven DB stars are consistent with pure He or have a small amount of H contamination. We also report on our observations of seventeen stars with Teff close to the DB instability strip through time series photometry and found them to be non variable within our detection limits.Comment: 8 pages, 5 figure

A maximum-likelihood method for improving faint source flux and color estimates

Flux estimates for faint sources or transients are systematically biased high because there are far more truly faint sources than bright. Corrections which account for this effect are presented as a function of signal-to-noise ratio and the (true) slope of the faint-source number-flux relation. The corrections depend on the source being originally identified in the image in which it is being photometered. If a source has been identified in other data, the corrections are different; a prescription for calculating the corrections is presented. Implications of these corrections for analyses of surveys are discussed; the most important is that sources identified at signal-to-noise ratios of four or less are practically useless.Comment: 9 pp., accepted for publication in PAS