Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov’s logic, the deductive closur...

BACKGROUND Knee cartilage defects may play an important role in early osteoarthritis, but little is known about their natural history. METHODS Knee cartilage defect score (range, 0-4), cartilage volume, and bone surface area were determined using T1-weighted fat-saturated magnetic resonance imaging in 325 subjects (mean age, 45 years) at baseline and 2 years later. RESULTS Thirty-three perc...

In the light of the evidence and discussion presented during The Royal Society Discussion Meeting it seems to me that the oral polio vaccine (OPV) hypothesis for the origins of human immunodeficiency virus (HIV) and the acquired immune deficiency syndrome epidemic is less tenable now than one year earlier. The OPV hypothesis does not accord with HIV phylogenetic studies: the geographical correl...

Short-term consumption of flavanol-rich cocoa has been demonstrated to improve various facets of vascular health. The purpose of the present study was to determine the effect of 4 weeks of natural cocoa consumption on selected cardiovascular disease (CVD) biomarkers in young (19-35 years) women of differing body mass indices (BMI; normal, overweight or obese). Subjects (n = 24) consumed a natur...

OBJECTIVES This study sought to determine the natural history of contemporary alcoholic cardiomyopathy (ACM), to compare it with that of idiopathic dilated cardiomyopathy (IDCM), and to identify risk factors for poor outcome. BACKGROUND ACM is a common cause of dilated cardiomyopathy (DCM), but little is known about its natural history or the effect of reducing alcohol intake on disease progr...

rural migration is the process of people moving from rural areas to cities. rural migration to urban is an important issue for all countries. in this study, investigate the causes of rural migration to urban in malayer conty (hamedan province). stutistic population in this study was people who have migrated from their village and data for this study has collected from the 180 migrant households...

a purpose of zagros forests preservation plan is to reduce degradation factors through empowering woodman beneficiaries and underdevelopment of rural forested areas which appear as scattered agronomies inside and in forest margins, trees cutting for power supply, trees cutting for hay supply or making coal in forested regions. therefore, natural resources experts believe that, by creation or im...