Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Consumer Behavior in Moral Markets. On the Relevance of Identity, Justice Beliefs, Social Norms, Status and Trust in Ethical Consumption

This article addresses ethical consumer behavior and uses the purchase of Fair Trade (FT) coffee to gain insights into determinants of ‘moral behavior’ in the marketplace. Our primary concern is to clarify which theoretical concepts and determinants are more useful than others in explaining FT consumption. We compare the explanatory power of consumer budget restrictions, consumer identity, social and personal norms, social status, justice beliefs, and trust. Our second aim is methodological; we contrast data on self-reported consumption of FT coffee with experimental data on hypothetical choices of different coffee products. To gain insights into the robustness of our measurement and findings, we test our propositions using two samples of undergraduate students from Germany and the United States. Our data show that consumer identity and personal norms are the major determinants of FT consumption in both samples, the results from survey-based data and from our experimental data are similar in this regard. Further, we demonstrate that studies based on a limited number of determinants might overestimate effects; the effect of justice beliefs for instance vanishes if other determinants are taken into account.

One size fits all? Managing trust and privacy on social networking sites in Russia and Germany

When it comes to platform sustainability, mitigating user privacy concerns and enhancing trust represent two major tasks providers of Social Networking Sites (SNSs) are facing today. State-of-the-art research advocates reliance on the justice-based measures as possible means to address these challenges. However, as providers are increasingly expanding into foreign markets, the effectiveness of these measures in a cross-cultural setting is questioned. In an attempt to address this set of issues, in this study we build on the existing model to examine the impact of culture on the robustness of four justice-based means in mitigating privacy concerns and ensuring trust. Survey responses from German and Russian SNS members are used to evaluate the two structural equation models, which are then compared. We find that perceptions regarding Procedural and Informational Justice are universally important and hence should be addressed as part of the basic strategy by the SNS provider. When expanding to collectivistic countries like Russia, measures enhancing perceptions of Distributive and Interpersonal Justice can be additionally applied. Beyond practical implications, our study makes a significant contribution to the theoretical discourse on the role of culture in determining individual perceptions and behavior.

Leveraging Trust and Privacy Concerns in Online Social Networks: an Empirical Study

Unprecedented success of Online Social Networks, such as Facebook, has been recently overshadowed by the privacy risks they imply. Weary of privacy concerns and unable to construct their identity in the desired way, users may restrict or even terminate their platform activities. Even though this means a considerable business risk for these platforms, so far there have been no studies on how to enable social network providers to address these problems. This study fills this gap by adopting a fairness perspective to analyze related measures at the disposal of the provider. In a Structural Equation Model with 237 subjects we find that ensuring interactional and procedural justice are two important strategies to support user participation on the platform.

Improving follow-up of abnormal cancer screens using electronic health records: trust but verify test result communication.

BACKGROUND: Early detection of colorectal cancer through timely follow-up of positive Fecal Occult Blood Tests (FOBTs) remains a challenge. In our previous work, we found 40% of positive FOBT results eligible for colonoscopy had no documented response by a treating clinician at two weeks despite procedures for electronic result notification. We determined if technical and/or workflow-related aspects of automated communication in the electronic health record could lead to the lack of response. METHODS: Using both qualitative and quantitative methods, we evaluated positive FOBT communication in the electronic health record of a large, urban facility between May 2008 and March 2009. We identified the source of test result communication breakdown, and developed an intervention to fix the problem. Explicit medical record reviews measured timely follow-up (defined as response within 30 days of positive FOBT) pre- and post-intervention. RESULTS: Data from 11 interviews and tracking information from 490 FOBT alerts revealed that the software intended to alert primary care practitioners (PCPs) of positive FOBT results was not configured correctly and over a third of positive FOBTs were not transmitted to PCPs. Upon correction of the technical problem, lack of timely follow-up decreased immediately from 29.9% to 5.4% (p<0.01) and was sustained at month 4 following the intervention. CONCLUSION: Electronic communication of positive FOBT results should be monitored to avoid limiting colorectal cancer screening benefits. Robust quality assurance and oversight systems are needed to achieve this. Our methods may be useful for others seeking to improve follow-up of FOBTs in their systems.

Oxytocin shapes the neural circuitry of trust and trust adaptation in humans.

Trust and betrayal of trust are ubiquitous in human societies. Recent behavioral evidence shows that the neuropeptide oxytocin increases trust among humans, thus offering a unique chance of gaining a deeper understanding of the neural mechanisms underlying trust and the adaptation to breach of trust. We examined the neural circuitry of trusting behavior by combining the intranasal, double-blind, administration of oxytocin with fMRI. We find that subjects in the oxytocin group show no change in their trusting behavior after they learned that their trust had been breached several times while subjects receiving placebo decrease their trust. This difference in trust adaptation is associated with a specific reduction in activation in the amygdala, the midbrain regions, and the dorsal striatum in subjects receiving oxytocin, suggesting that neural systems mediating fear processing (amygdala and midbrain regions) and behavioral adaptations to feedback information (dorsal striatum) modulate oxytocin's effect on trust. These findings may help to develop deeper insights into mental disorders such as social phobia and autism, which are characterized by persistent fear or avoidance of social interactions.

Ethnic Diversity, Social Trust and the Moderating Role of Integration Policy

Increasing ethnic diversity and whether or not it impacts on trust are highly debated topics. Numerous studies report a negative relationship between diversity and trust, particularly in the US. A growing body of follow-up studies examined the extent to which these findings can be transferred to Europe, but the results remain inconclusive. Moving beyond the discussion of the mere existence or absence of diversity effects on trust, this study is concerned with the moderation of this relationship: It addresses the neglected role of subnational integration policies influencing diversity’s impact on trust. Empirical tests not only indicate that integration policies moderate the relationship, but also suggest that the influence of policies varies substantively according to the specific policy aspect under consideration.

Direct democracy and political trust: Enhancing trust, initiating distrust–or both?

This study investigates the relationship between direct democracy and political trust. We suggest a solution to the controversy in research centering on positive versus negative effects of direct democracy by analytically differentiating between the availability of direct democratic rights and the actual use of those rights. Theoretically, greater availability of direct democratic rights may enhance political trust by increasing citizens’ perception that political authorities can be controlled as well as by incentivizing political authorities to act trustworthily. In contrast, the actual use of the corresponding direct democratic instruments may initiate distrust as it signals to citizens that political authorities do not act in the public’s interest. We test both hypotheses for the very first time with sub-national data of Switzerland. The empirical results seem to support our theoretical arguments.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.