A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Relative positioning of classical benzodiazepines to the γ2-subunit of GABAA receptors.

GABAA receptors are the major inhibitory neurotransmitter receptors in the brain. Benzodiazepine exert their action via a high affinity-binding site at the α/γ subunit interface on some of these receptors. Diazepam has sedative, hypnotic, anxiolytic, muscle relaxant, and anticonvulsant effects. It acts by potentiating the current evoked by the agonist GABA. Understanding specific interaction of benzodiazepines in the binding pocket of different GABAA receptor isoforms might help to separate these divergent effects. As a first step, we characterized the interaction between diazepam and the major GABAA receptor isoform α1β2γ2. We mutated several amino acid residues on the γ2-subunit assumed to be located near or in the benzodiazepine binding pocket individually to cysteine and studied the interaction with three ligands that are modified with a cysteine-reactive isothiocyanate group (-NCS). When the reactive NCS group is in apposition to the cysteine residue this leads to a covalent reaction. In this way, three amino acid residues, γ2Tyr58, γ2Asn60, and γ2Val190 were located relative to classical benzodiazepines in their binding pocket on GABAA receptors.

A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Against Logically Possible World-Relativized Existence

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic.

Algebra of Classical Theoretical Term Reductions in the Sciences

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type.

Npro of classical swine fever virus contributes to pathogenicity in pigs by preventing type I interferon induction at local replication sites

Classical swine fever (CSF) caused by CSF virus (CSFV) is a highly contagious disease of pigs. The viral protein Npro of CSFV interferes with alpha- and beta-interferon (IFN-α/β) induction by promoting the degradation of interferon regulatory factor 3 (IRF3). During the establishment of the live attenuated CSF vaccine strain GPE-, Npro acquired a mutation that abolished its capacity to bind and degrade IRF3, rendering it unable to prevent IFN-α/β induction. In a previous study, we showed that the GPE- vaccine virus became pathogenic after forced serial passages in pigs, which was attributed to the amino acid substitutions T830A in the viral proteins E2 and V2475A and A2563V in NS4B. Interestingly, during the re-adaptation of the GPE- vaccine virus in pigs, the IRF3-degrading function of Npro was not recovered. Therefore, we examined whether restoring the ability of Npro to block IFN-α/β induction of both the avirulent and moderately virulent GPE--derived virus would enhance pathogenicity in pigs. Viruses carrying the N136D substitution in Npro regained the ability to degrade IRF3 and suppress IFN-α/β induction in vitro. In pigs, functional Npro significantly reduced the local IFN-α mRNA expression in lymphoid organs while it increased quantities of IFN-α/β in the circulation, and enhanced pathogenicity of the moderately virulent virus. In conclusion, the present study demonstrates that functional Npro influences the innate immune response at local sites of virus replication in pigs and contributes to pathogenicity of CSFV in synergy with viral replication.

The Utilization of Classical Spin Monte Carlo Methods to Simulate the Magnetic Behavior of Extended Three-Dimensional Cubic Networks Incorporating M(II) Ions with an S = 5/2 Ground State Spin

The numerical simulations of the magnetic properties of extended three-dimensional networks containing M(II) ions with an S = 5/2 ground-state spin have been carried out within the framework of the isotropic Heisenberg model. Analytical expressions fitting the numerical simulations for the primitive cubic, diamond, together with (10−3) cubic networks have all been derived. With these empirical formulas in hands, we can now extract the interaction between the magnetic ions from the experimental data for these networks. In the case of the primitive cubic network, these expressions are directly compared with those from the high-temperature expansions of the partition function. A fit of the experimental data for three complexes, namely [(N(CH3)4][Mn(N3)] 1, [Mn(CN4)]n 2, and [FeII(bipy)3][MnII2(ox)3] 3, has been carried out. The best fits were those obtained using the following parameters, J = −3.5 cm-1, g = 2.01 (1); J = −8.3 cm-1, g = 1.95 (2); and J = −2.0 cm-1, g = 1.95 (3).

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.

Reconsidering the logic of World Federation of Neurosurgical Societies grading in patients with severe subarachnoid hemorrhage.

OBJECT Current data show a favorable outcome in up to 50% of patients with World Federation of Neurosurgical Societies (WFNS) Grade V subarachnoid hemorrhage (SAH) and a rather poor prediction of worst cases. Thus, the usefulness of the current WFNS grading system for identifying the worst scenarios for clinical studies and for making treatment decisions is limited. One reason for this lack of differentiation is the use of "negative" or "silent" diagnostic signs as part of the WFNS Grade V definition. The authors therefore reevaluated the WFNS scale by using "positive" clinical signs and the logic of the Glasgow Coma Scale as a progressive herniation score. METHODS The authors performed a retrospective analysis of 182 patients with SAH who had poor grades on the WFNS scale. Patients were graded according to the original WFNS scale and additionally according to a modified classification, the WFNS herniation (hWFNS) scale (Grade IV, no clinical signs of herniation; Grade V, clinical signs of herniation). The prediction of poor outcome was compared between these two grading systems. RESULTS The positive predictive values of Grade V for poor outcome were 74.3% (OR 3.79, 95% CI 1.94-7.54) for WFNS Grade V and 85.7% (OR 8.27, 95% CI 3.78-19.47) for hWFNS Grade V. With respect to mortality, the positive predictive values were 68.3% (OR 3.9, 95% CI 2.01-7.69) for WFNS Grade V and 77.9% (OR 6.22, 95% CI 3.07-13.14) for hWFNS Grade V. CONCLUSIONS Limiting WFNS Grade V to the positive clinical signs of the Glasgow Coma Scale such as flexion, extension, and pupillary abnormalities instead of including "no motor response" increases the prediction of mortality and poor outcome in patients with severe SAH.

Classical swine fever virus replicon particles lacking the Erns gene: a potential marker vaccine for intradermal application.

Classical swine fever virus replicon particles (CSF-VRP) deficient for E(rns) were evaluated as a non-transmissible marker vaccine. A cDNA clone of CSFV strain Alfort/187 was used to obtain a replication-competent mutant genome (replicon) lacking the sequence encoding the 227 amino acids of the glycoprotein E(rns) (A187delE(rns)). For packaging of A187delE(rns) into virus particles, porcine kidney cell lines constitutively expressing E(rns) of CSFV were established. The rescued VRP were infectious in cell culture but did not yield infectious progeny virus. Single intradermal vaccination of two pigs with 10(7) TCID(50) of VRP A187delE(rns) elicited neutralizing antibodies, anti-E2 antibodies, and cellular immune responses determined by an increase of IFN-gamma producing cells. No anti-E(rns) antibodies were detected in the vaccinees confirming that this vaccine represents a negative marker vaccine allowing differentiation between infected and vaccinated animals. The two pigs were protected against lethal challenge with the highly virulent CSFV strain Eystrup. In contrast, oral immunization resulted in only partial protection, and neither CSFV-specific antibodies nor stimulated T-cells were found before challenge. These data represent a good basis for more extended vaccination/challenge trials including larger numbers of animals as well as more thorough analysis of virus shedding using sentinel animals to monitor horizontal spread of the challenge virus.