Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Lecture-débat avec l’écrivain haïtien Louis-Philippe Dalembert

Débat avec l'écrivain Louis-Philippe Dalembert, invité dans le cadre de la chaire de professeur invité pour la littérature mondiale Friedrich Dürrenmatt. Université de Berne et ONO – Das Kulturlokal, 12 mai 2015.

Do Proctored Exams Matter In Online Classes?

Does the format of assessment (proctored or un-proctored exams) affect test scores in online principles of economics classes? This study uses data from two courses of principles of economics taught by the same instructor to gain some insight into this issue. When final exam scores are regressed against human capital factors, the R-squared statistic is 61.6% for the proctored format exams while it is only 12.2% for the un-proctored format. Three other exams in the class that had the proctored final were also un-proctored and also produced lower R-squared values, averaging 30.5%. These two findings suggest that some cheating may have taken place in the un-proctored exams. Although it appears some cheating took place, the results suggest that cheating did not pay for these students since the proctored exam grades were 4.9 points higher than the un-proctored exam grades although this difference was significantly different at only the 10% level. One possible explanation for this is that there was slightly higher human capital in the class that had the proctored exam although this must have occurred by chance since the students did not know if the exams were going to be proctored in advance so there is no issue of selection bias. A Oaxaca decomposition of this difference in grades was conducted to see how much was due to human capital and how much was due to the differences in the rates of return to human capital. This analysis reveals that 17% of the difference was due to the higher human capital with the remaining 83% due to differences in the returns to human capital. It is possible that the un-proctored exam format does not encourage as much studying as the proctored format reducing both the returns to human capital and the exam scores.

Jesus of Nazareth in the light of Jewish and Christian thought and history : a sunday lecture delivered January 10, 1926

by Samuel H. Goldenson

The threefold cord : being sketches of three treatises of the Talmud, Sanhedrin, Baba Metsia, and Baba Bathra ; with an appendix containing a lecture on the Shemonah peraḳim le-ha-Rambam, The eighth chapters of Maimonides

by B. Spiers

Identification and characterization of distinct classes of cAMP-pulse-induced genes in Dictyostelium discoideum development

The unicellular amoeba Dictyostelium discoideum embarks on a developmental program upon starvation. During development, extracellular oscillatory cAMP signaling orchestrates the chemotaxis-mediated aggregation of ∼105 amoebae and is required for optimal induction of so-called pulse-induced genes. This requirement for pulsatile CAMP reflects adaptation of the cAMP-receptor-mediated pathways that regulate these genes. Through examination of a collection of pulse-induced genes, we defined two distinct gene classes based on their induction kinetics and the impact of mutations that impair PKA signaling. The first class (represented by D2 and prtA) is highly dependent on PKA signaling, whereas the second class (represented by carA, gpaB, and acaA) is not. Analysis of expression kinetics revealed that these classes are sequentially expressed with the PKA-independent genes peaking in expression before the PKA-dependent class. Experiments with cycloheximide, an inhibitor of translation, demonstrated that the pulse induction of both classes depends on new protein synthesis early in development. carA and gpaB also exhibit pulse-independent, starvation-induced expression which, unlike their pulse induction, was found to be insensitive to cycloheximide added at the outset of starvation. This result indicates that the mechanism of starvation induction pre-exists in growing cells and is distinct from the pulse induction mechanism for these genes. In order to identify cis-acting elements that are critical for induction of carA, we constructed a GFP reporter controlled by a 914-base-pair portion of its promoter and verified that its expression was PKA-independent, pulse-inducible, and developmentally regulated like the endogenous carA gene. By a combination of truncation, internal deletion, and site-directed mutation, we defined several distinct functional elements within the carA promoter, including a 39-bp region required for pulse induction between base pairs -321 and -282 (relative to the transcription start site), a 131-bp region proximal to the start site that is sufficient for starvation induction, and two separate enhancer domains. Identification of factors that interact with these promoter elements and genetic approaches exploiting the GFP reporter described here should help complete our understanding of the mechanisms regulating these genes, including adaptation mechanisms that likely also govern chemotaxis of Dictyostelium and mammalian cells. ^