Meeting strength in substructural logics

This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only alimited possibility to use structural rules. Following the literture, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this as a modality, but rather as themeet of the marked formula with a special typeQ. In this way we can make the specific structural behaviour of marked formulas more explicit.The main motivation for our approach is that we can provide a nice, intuitive semantics for hybrid substructural logics. Soundness and completeness for this semantics are proved; besides this we consider some proof-theoretical aspects like cut-elimination and embeddings of the strong system in the hybrid one.Presented byMelvin Fitting     

Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras

For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures.Presented byIstván Németi     

I’m still standing: A longitudinal study on the effect of a default nudge

Objective: This study assessed the effect of a default nudge to reduce sedentary behaviour at work over time.

Design and main outcome measures: A field study was conducted at a governmental organisation. In the present study, the default setting of sit–stand desks (SSDs) was changed from sitting to standing height during a two-week intervention. Stand-up working rates were calculated based on observations that were done prior to, during, two weeks after and two months after the intervention. Additionally, a pre-measure survey (n = 606) and post-measure survey (n = 354) were completed. Intention and social norms concerning stand-up working were compared for the 183 employees who completed both pre- and post-assessments (45.4% female, M_age = 44.21).

Results: Stand-up working rates raised from 1.82% in the baseline to 13.13% during the intervention. After the nudge was removed the percentage was 10.01% after two weeks and 7.78% after two months. A multilevel analysis indicated a significant increase in both intention and social norms after the nudge intervention.

Conclusions: This study shows that a default nudge can increase stand-up working rates in offices with SSDs at least until two months after the nudge intervention.     

Representation of Game Algebras

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.