Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

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

Problematising parent–professional partnerships in education

The value of, and need for, parent–professional partnerships is an unchallenged mantra within policy relating to ‘special educational needs’. In spite of this, partnerships continue to be experienced as problematic by both parents and professionals. This paper brings together the different perspectives of two disability researchers: one a parent of a disabled child while the other was a teacher for 20 years of children with the label autism. The paper deconstructs the concept of partnership and then, drawing on the expertise of parents, suggests how enabling and empowering parent–professional relationships might be achieved

Problematising parent–professional partnerships in education

The value of, and need for, parent–professional partnerships is an unchallenged mantra within policy relating to ‘special educational needs’. In spite of this, partnerships continue to be experienced as problematic by both parents and professionals. This paper brings together the different perspectives of two disability researchers: one a parent of a disabled child while the other was a teacher for 20 years of children with the label autism. The paper deconstructs the concept of partnership and then, drawing on the expertise of parents, suggests how enabling and empowering parent–professional relationships might be achieved

Target company cross-border effects in acquisitions into the UK

We analyse the abnormal returns to target shareholders in crossborder and domestic acquisitions of UK companies. The crossborder effect during the bid month is small (0.84%), although crossborder targets gain significantly more than domestic targets during the months surrounding the bid. We find no evidence for the level of abnormal returns in crossborder acquisitions to be associated with market access or exchange rate effects, and only limited support for an international diversification effect. However, the crossborder effect appears to be associated with significant payment effects, and there is no significant residual crossborder effect once various bid characteristics are controlled for

The Qualified Legal Compliance Committee: Using the Attorney Conduct Rules to Restructure the Board of Directors

The Securities and Exchange Commission introduced a new corporate governance structure, the qualified legal compliance committee, as part of the professional standards of conduct for attorneys mandated by the Sarbanes-Oxley Act of 2002. QLCCs are consistent with the Commission\u27s general approach to improving corporate governance through specialized committees of independent directors. This Article suggests, however, that assessing the benefits and costs of creating QLCCs may be more complex than is initially apparent. Importantly, QLCCs are unlikely to be effective in the absence of incentives for active director monitoring. This Article concludes by considering three ways of increasing these incentives

General analysis of signals with two leptons and missing energy at the Large Hadron Collider

A signal of two leptons and missing energy is challenging to analyze at the Large Hadron Collider (LHC) since it offers only few kinematical handles. This signature generally arises from pair production of heavy charged particles which each decay into a lepton and a weakly interacting stable particle. Here this class of processes is analyzed with minimal model assumptions by considering all possible combinations of spin 0, 1/2 or 1, and of weak iso-singlets, -doublets or -triplets for the new particles. Adding to existing work on mass and spin measurements, two new variables for spin determination and an asymmetry for the determination of the couplings of the new particles are introduced. It is shown that these observables allow one to independently determine the spin and the couplings of the new particles, except for a few cases that turn out to be indistinguishable at the LHC. These findings are corroborated by results of an alternative analysis strategy based on an automated likelihood test.Comment: 18 pages, 3 figures, LaTe

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Plugging a hole and lightening the burden: A process evaluation of a practice education team

Aim: To investigate the perceptions of clinical and senior managers about the role of Practice Educators employed in one acute hospital in the UK. Background: Producing nurses who are fit for practice, purpose and academic award is a key issue for nurse education partnership providers in the UK. Various new models for practice learning support structures and new roles within health care institutions have been established. To sustain funding and policy support for these models, there is a need for evaluation research. Design: A process evaluation methodology was employed to determine the current value of a practice education team and to provide information to guide future direction. Methods: Data were collected through semi-structured telephone interviews using a previously designed schedule. All senior nurse managers (N=5) and a purposive sample of clinical managers (n=13) who had personal experience of and perceptions about the role of practice educators provided the data. Interview notes were transcribed, coded and a thematic framework devised to present the results. Results: A number of key themes emerged including: qualities needed for being a successful practice educator; visibility and presence of practice educators; providing a link with the university; ‘plugging a hole’ in supporting learning needs; providing relief to practitioners in dealing with ‘the burden of students’; alleviating the ‘plight of students’; and effects on student attrition. Conclusions: Findings provided evidence for the continued funding of the practice educator role with improvements to be made in dealing with stakeholder expectations and outcomes. Relevance to clinical practice: In the UK, there still remain concerns about the fitness for practice of newly registered nurses, prompting a recent national consultation by the professional regulating body. Despite fiscal pressures, recommendations for further strengthening of all systems that will support the quality of practice learning may continue to sustain practice learning support roles

Learning to Teach About Ideas and Evidence in Science : The Student Teacher as Change Agent

A collaborative curriculum development project was set up to address the lack of good examples of teaching about ideas and evidence and the nature of science encountered by student teachers training to teach in the age range 11-16 in schools in England. Student and teacher-mentor pairs devised, taught and evaluated novel lessons and approaches. The project design required increasing levels of critique through cycles of teaching, evaluation and revision of lessons. Data were gathered from interviews and students' reports to assess the impact of the project on student teachers and to what extent any influences survived when they gained their first teaching posts. A significant outcome was the perception of teaching shifting from the delivery of standard lessons in prescribed ways to endeavours demanding creativity and decision-making. Although school-based factors limited newly qualified teachers' chances to use new lessons and approaches and therefore act as change-agents in schools, the ability to critique curriculum materials and the recognition of the need to create space for professional dialogue were durable gains