The Basics of Display Calculi

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed

Why do they Resist? – An Empirical Analysis of an Individual’s Personality Trait Resistance regarding the Adoption of New Information Systems

In their ISR article 2008 Deveraj et al. asked “How Does Personality Matter?” This article buildsupon the discussed idea that an individual’s personality traits has an influence on the technologyacceptance and usage intention by empirically analyzing and discussing whether the personality traitresistance has an impact on an individual’s intention to use an information system or not. Thereforethe article adopts a scale developed in psychology research to measure dispositional resistance ofindividuals. The data analysis of 199 research participants who declared that they do not want to usea particular information system in future shows that the personality trait resistance modeled with thefour dimensions routine seeking, emotional reaction, short-term focus and cognitive rigidity hassignificant impacts on an individual’s attitude towards an information system, the subjective norm ofimportant others and mediated through attitude on the intention to use this system

TOWARDS AN UNDERSTANDING OF AN INDIVIDUAL\u27S RESISTANCE TO USE AN INFORMATION SYSTEM - EMPIRICAL EXAMINATIONS AND DIRECTIONS FOR FUTURE RESEARCH

Building up on current research investigating an individual’s resistance regarding the use of new information systems this approach develops a Technology Resistance Model for a better understanding of potential users’ resistance intention in the 21st century. The model is evaluated with empirical data of 209 jobseekers who resist using standardized online application forms and the results show that the an individual’s intention to resist is predominately explained by a perceived uselessness of the system but not by the perceived difficulty to use it. Based on these results and a comparison with the Technology Acceptance Model the paper concludes that an inverse construct of the Technology Acceptance Model is not appropriate to understand an individual’s intention to resist using an information system. Therefore the paper calls for a deeper understanding regarding an individual’s intention to resist using a system and identifies possible directions for future research. In general these approaches can be divided into two main areas: methodology and theory. As a consequence the papers discusses directions for future research as the development of a Technology Resistance AND Acceptance Model (e.g. use of semantic differential scales), a Technology Inhibitor Model, the use of different dependant variables as well as a better understanding of an individual’s personality trait resistance (e.g. based on psychology research)

Coming Back For More: Exploring Three Theoretical Perspectives Influencing IS Resumption

IS resumption describes ex-users’ returning to an information system (IS) after quitting it beforehand. IS research has conceptualized, operationalized, and defined this behavior and explained some initial causes, such as nonuse-related dissatisfaction, that lead ex-users to IS resumption. We aim to complement that understanding by discussing the influence of three theoretical perspectives: reasoned action, experiential responses, and habitual responses. We use those perspectives to develop hypotheses and offer a comprehensive understanding of causes leading to IS resumption intention. We chose a quantitative approach to evaluate our research model, conducting an online survey with 190 ex-users of video-on-demand services (VoD). Our findings show that subjective norm and attitude influence IS resumption intention, while higher satisfaction with prior usage influences ex-users’ attitude. We contribute to IS research by carving out how the three theoretical perspectives influence ex-users’ IS resumption intention, providing a solid theoretical basis for future studies on IS resumption

Online Social Networks as a Source and Symbol of Stress: An Empirical Analysis

This research examines the sources and consequences of stress when using online social networks (OSN). In a first step, the five OSN-induced stressors invasion, pattern, complexity, uncertainty, and disclosure are identified. In a second step, the Model of Continuous OSN Usage is developed in order to examine the influence of these five stressors. Therefore, the model is based on the Model of Adoption of Technology in Households and the Post-Acceptance Model. Results of an empirical analysis with 154 OSNs users reveal that 57 per cent of satisfaction and 64 per cent of continuous usage intention can be explained within the Model of Continuous OSN Usage. Notably, the five stressors have a higher strength of effect on satisfactions than the three attitudinal beliefs hedonic, utilitarian, and social outcomes altogether. In summary, the results offer a theoretical foundation for recent practical observations that OSNs are a source and symbol of stress

Conceptualization, Operationalization, and Empirical Evidence for an Individual’s Dispositional Resistance to IT-Induced Changes

As information systems (IS) usage is the missing link from information technology (IT) investments to the business value impact of IT (DeLone and McLean 2003), it is a significant issue for IS researchers and practitioners, if individuals resist using these systems. Several recent models have been developed in order to offer insights which perceptual beliefs foster user resistance. Results reveal perceptual beliefs as perceived threats, technostress, or switching costs as major determinants for user resistance. Nevertheless, user resistance has not been researched from a perspective of predisposed individual differences so far. Consequently, this paper proposes the new construct dispositional resistance to IT-induced changes. This reflects inclinations to resist any kind of IT-related change and discusses resistance from the perspective of individual differences. Within this approach, it is theoretically hypothesized, how this inclination influences perceptual beliefs, intentions, and behaviors. Empirical results reveal strong impacts of the newly proposed construct on technostress

WHEN SOCIAL NETWORKING TURNS TO SOCIAL OVERLOAD: EXPLAINING THE STRESS, EMOTIONAL EXHAUSTION, AND QUITTING BEHAVIOR FROM SOCIAL NETWORK SITES\u27 USERS

This research responds to a current phenomenon that individuals experience fatigue, while using social network sites, such as Facebook, which original intend to provide hedonic value to users. To explain this current phenomenon, we propose and evaluate a research model based on the stress-strain-outcome model. Focal point is the stressor social overload, which induces feelings of being emotional exhausted. For that reason, some users of social network sites start to get dissatisfied and report an increasing discontinuous usage intention. In addition, the research article provides evidence for the fact that the effect of stress on the two outcome variables satisfaction and discontinuous usage intention is fully mediated through strain. This is validated with an empirical survey with 523 Facebook users. Several implications for technology adoption research are discussed