Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

A universal description of ultraslow glass dynamics

The dynamics of glass is of importance in materials science but its nature has not yet been fully understood. Here we report that a verification of the temperature dependencies of the primary relaxation time or viscosity in the ultraslowing/ultraviscous domain of glass-forming systems can be carried out via the analysis of the inverse of the Dyre-Olsen temperature index. The subsequent analysis of experimental data indicates the possibility of the self-consistent description of glass-forming low-molecular-weight liquids, polymers, liquid crystals, orientationally disordered crystals and Ising spin-glass-like systems, as well as the prevalence of equations associated with the 'finite temperature divergence'. All these lead to a new formula for the configurational entropy in glass-forming systems. Furthermore, a link to the dominated local symmetry for a given glass former is identified here. Results obtained show a new relationship between the glass transition and critical phenomena.

Using Acceptance and Commitment Therapy during Methadone Dose Reduction: Rationale, Treatment Description, and a Case Report.

Many clients who undergo methadone maintenance (MM) treatment for heroin and other opiate dependence prefer abstinence from methadone. Attempts at methadone detoxification are often unsuccessful, however, due to distressing physical as well as psychological symptoms. Outcomes from a MM client who voluntarily participated in an Acceptance and Commitment Therapy (ACT) - based methadone detoxification program are presented. The program consisted of a 1-month stabilization and 5-month gradual methadone dose reduction period, combined with weekly individual ACT sessions. Urine samples were collected twice weekly to assess for use of illicit drugs. The participant successfully completed the program and had favorable drug use outcomes during the course of treatment, and at the one-month and one-year follow-ups. Innovative behavior therapies, such as ACT, that focus on acceptance of the inevitable distress associated with opiate withdrawal may improve methadone detoxification outcomes.

Affinity retardation chromatography: characterization of the method and its application. The description of low affinity laminin self-interactions.

Affinity retardation chromatography (ARC), a method for the examination of low-affinity interactions, is mathematically described in order to characterize the method itself and to estimate binding coefficients of self-assembly domains of basement membrane protein laminin. Affinity retardation was determined by comparing the elutions on a "binding" and on a "nonreacting" column. It depends on the binding coefficient, the concentrations of both ligands, and the nonbinding elution position. Half maximal binding of the NH2-terminal domain of laminin B1-short arm to the A- and/or B2-short arms was estimated to occur at 10-17 microM for noncooperative and at < or = 3 microM for cooperative binding. A model of the laminin polymerization, postulating two levels of cooperative binding behavior, is described.

A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.

Transdiaphragmatic Resuscitative Open Cardiac Massage: Description of the Technique and a First Case-Series of an Alternative Approach to the Heart

Abstract BACKGROUND: The purpose of this paper is to describe the transdiaphragmatic approach to the heart for open CPR in patients that arrest at laparotomy and to present a first case series of patients that have undergone this procedure. METHODS: All patients who had undergone intraperitoneal transdiaphragmatic open CPR between January 1, 2002 and December 31, 2012 were retrieved from the operation registry at Bern University Hospital, Switzerland. Transdiaphragmatic access to the heart is initiated with a 10-cm-long anterocaudal incision in the central tendon of the diaphragm--approximately at 2 o'clock. Internal cardiac compression through the diaphragmatic incision can be performed from both sides of the patient. From the right side of the patient, cardiac massage is performed with the right hand and vice versa. RESULTS: A total of six patients were identified that suffered cardiac arrest during laparotomy with open CPR performed through the transdiaphragmatic approach. Four patients suffered cardiac arrest during orthotopic liver transplantation and two trauma patients suffered cardiac arrest during damage control laparotomy. In three patients, cardiac activity was never reestablished. However, three patients regained a perfusion heart rhythm and two of these survived to the ICU. One patient ultimately survived to discharge. CONCLUSIONS: In patients suffering cardiac arrest during laparotomy, the transdiaphragmatic approach allows for a rapid, technically easy, and almost atraumatic access to the heart, with excellent CPR performance. After this potentially life-saving procedure, pulmonary or surgical site complications are expected to occur much less compared with the conventionally performed emergency department left-sided thoracotomy.