Merging fragments of classical logic

We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More precisely, we will be interested in checking whether an axiomatization for Classical Propositional Logic may be produced by merging Hilbert-style calculi for two disjoint incomplete fragments of it. We will prove that the answer to that problem is a negative one, unless one of the components includes only top-like connectives.Comment: submitted to FroCoS 201

Popular attitudes to memory, the body, and social identity : the rise of external commemoration in Britain, Ireland, and New England

A comparative analysis of samples of external memorials from burial grounds in Britain, Ireland and New England reveals a widespread pattern of change in monument style and content, and exponential growth in the number of permanent memorials from the 18th century onwards. Although manifested in regionally distinctive styles on which most academic attention has so far been directed, the expansion reflects global changes in social relationships and concepts of memory and the body. An archaeological perspective reveals the importance of external memorials in articulating these changing attitudes in a world of increasing material consumption

<i>APETALA2</i> functions as a temporal factor together with <i>BLADE-ON-PETIOLE2</i> and <i>MADS29</i> to control flower and grain development in barley

Cereal grain develops from fertilised florets. Alterations in floret and grain development greatly influence grain yield and quality. Despite this, little is known about the underlying genetic control of these processes, especially in key temperate cereals such as barley and wheat. Using a combination of near-isogenic mutant comparisons, gene editing and genetic analyses, we reveal that HvAPETALA2 (HvAP2) controls floret organ identity, floret boundaries, and maternal tissue differentiation and elimination during grain development. These new roles of HvAP2 correlate with changes in grain size and HvAP2-dependent expression of specific HvMADS-box genes, including the B-sister gene, HvMADS29 Consistent with this, gene editing demonstrates that HvMADS29 shares roles with HvAP2 in maternal tissue differentiation. We also discovered that a gain-of-function HvAP2 allele masks changes in floret organ identity and grain size due to loss of barley LAXATUM.A/ BLADE-ON-PETIOLE2 (HvBOP2) gene function. Taken together, we reveal novel, pleiotropic roles and regulatory interactions for an APETALA2-like gene controlling floret and grain development in a temperate cereal.Jennifer R. Shoesmith, Charles Ugochukwu Solomon, Xiujuan Yang, Laura G. Wilkinson, Scott Sheldrick, Ewan van Eijden ... et al

Sodium current inhibition following stimulation of exchange protein directly activated by cyclic-3',5'-adenosine monophosphate (Epac) in murine skeletal muscle.

We investigated effects of pharmacological triggering of exchange protein directly activated by cyclic-3',5'-adenosine monophosphate (Epac) on Nav1.4 currents from intact murine (C67BL6) skeletal muscle fibres for the first time. This employed a loose patch clamp technique which examined ionic currents in response to superimposed 10-ms V1 steps to varying degrees of depolarisation, followed by V2 steps to a fixed, +100 mV depolarisation relative to resting membrane potential following 40 mV hyperpolarising prepulses of 50 ms duration. The activation and inactivation properties of the resulting Na+ membrane current densities revealed reduced maximum currents and steepnesses in their voltage dependences after addition of the Epac activator 8-(4-chlorophenylthio)adenosine-3',5'-cyclic monophosphate (1 µM) to the bathing Krebs-Henseleit solutions. Contrastingly, voltages at half-maximal current and timecourses of currents obtained in response to the V1 depolarising steps were unchanged. These effects were abolished by further addition of the RyR-inhibitor dantrolene (10 µM). In contrast, challenge by dantrolene alone left both currents and their parameters intact. These effects of Epac activation in inhibiting skeletal muscle, Nav1.4, currents, complement similar effects previously reported in the homologous Nav1.5 in murine cardiomyocytes. They are discussed in terms of a hypothesis implicating Epac actions in increasing RyR-mediated SR Ca2+ release resulting in a Ca2+-mediated inhibition of Nav1.4. The latter effect may form the basis for Ca2+-dependent Na+ channel dysregulation in SCN4A channelopathies associated with cold- and K+-aggravated myotonias.Wellcome Trus

Phenotypic and molecular analyses of primary lateral sclerosis

Objective: To understand phenotypic and molecular characteristics of patients with clinically “definite” primary lateral sclerosis (PLS) in a prospective study. Methods: Six sites enrolled 41 patients who had pure upper motor neuron dysfunction, bulbar symptoms, a normal EMG done within 12 months of enrollment, and onset of symptoms ≥5 years before enrollment. For phenotypic analyses, 27 demographic, clinical, and cognitive variables were analyzed using the k-means clustering method. For molecular studies, 34 available DNA samples were tested for the C9ORF72 mutation, and exome sequencing was performed to exclude other neurologic diseases with known genetic cause. Results: K-means clustering using the 25 patients with complete datasets suggested that patients with PLS can be classified into 2 groups based on clinical variables, namely dysphagia, objective bulbar signs, and urinary urgency. Secondary analyses performed in all 41 patients and including only variables with complete data corroborated the results from the primary analysis. We found no evidence that neurocognitive variables are important in classifying patients with PLS. Molecular studies identified C9ORF72 expansion in one patient. Well-characterized pathogenic mutations were identified in SPG7, DCTN1, and PARK2. Most cases showed no known relevant mutations. Conclusions: Cluster analyses based on clinical variables indicated at least 2 subgroups of clinically definite PLS. Molecular analyses further identified 4 cases with mutations associated with amyotrophic lateral sclerosis, Parkinson disease, and possibly hereditary spastic paraplegia. Phenotypic and molecular characterization is the first step in investigating biological clues toward the definition of PLS. Further studies with larger numbers of patients are essential

Ventricular volume expansion in presymptomatic genetic frontotemporal dementia

Objective: To characterize the time course of ventricular volume expansion in genetic frontotemporal dementia (FTD) and identify the onset time and rates of ventricular expansion in presymptomatic FTD mutation carriers. Methods: Participants included patients with a mutation in MAPT, PGRN, or C9orf72, or first-degree relatives of mutation carriers from the GENFI study with MRI scans at study baseline and at 1 year follow-up. Ventricular volumes were obtained from MRI scans using FreeSurfer, with manual editing of segmentation and comparison to fully automated segmentation to establish reliability. Linear mixed models were used to identify differences in ventricular volume and in expansion rates as a function of time to expected disease onset between presymptomatic carriers and noncarriers. Results: A total of 123 participants met the inclusion criteria and were included in the analysis (18 symptomatic carriers, 46 presymptomatic mutation carriers, and 56 noncarriers). Ventricular volume differences were observed 4 years prior to symptom disease onset for presymptomatic carriers compared to noncarriers. Annualized rates of ventricular volume expansion were greater in presymptomatic carriers relative to noncarriers. Importantly, time-intensive manually edited and fully automated ventricular volume resulted in similar findings. Conclusions: Ventricular volume differences are detectable in presymptomatic genetic FTD. Concordance of results from time-intensive manual editing and fully automatic segmentation approaches support its value as a measure of disease onset and progression in future studies in both presymptomatic and symptomatic genetic FTD

Ventricular volume expansion in presymptomatic genetic frontotemporal dementia

OBJECTIVE: To characterize the time course of ventricular volume expansion in genetic frontotemporal dementia (FTD) and identify the onset time and rates of ventricular expansion in presymptomatic FTD mutation carriers. METHODS: Participants included patients with a mutation in MAPT, PGRN, or C9orf72, or first-degree relatives of mutation carriers from the GENFI study with MRI scans at study baseline and at 1 year follow-up. Ventricular volumes were obtained from MRI scans using FreeSurfer, with manual editing of segmentation and comparison to fully automated segmentation to establish reliability. Linear mixed models were used to identify differences in ventricular volume and in expansion rates as a function of time to expected disease onset between presymptomatic carriers and noncarriers. RESULTS: A total of 123 participants met the inclusion criteria and were included in the analysis (18 symptomatic carriers, 46 presymptomatic mutation carriers, and 56 noncarriers). Ventricular volume differences were observed 4 years prior to symptom disease onset for presymptomatic carriers compared to noncarriers. Annualized rates of ventricular volume expansion were greater in presymptomatic carriers relative to noncarriers. Importantly, time-intensive manually edited and fully automated ventricular volume resulted in similar findings. CONCLUSIONS: Ventricular volume differences are detectable in presymptomatic genetic FTD. Concordance of results from time-intensive manual editing and fully automatic segmentation approaches support its value as a measure of disease onset and progression in future studies in both presymptomatic and symptomatic genetic FTD

Reactions to symptoms of mental disorder and help seeking in Sabah, Malaysia.

Abstract Background: A better understanding is needed about how people make decisions about help seeking. Materials: Focus group and individual interviews with patients, carers, healthcare staff, religious authorities, traditional healers and community members. Discussion: Four stages of help seeking were identified: (1) noticing symptoms and initial labelling, (2) collective decision-making, (3) spiritual diagnoses and treatment and (4) psychiatric diagnosis and treatment. Conclusion: Spiritual diagnoses have the advantage of being less stigmatising, giving meaning to symptoms, and were seen to offer hope of cure rather than just symptom control. Patients and carers need help to integrate different explanatory models into a meaningful whole.N/