A Kripke Semantics for the Logic of Gelfand Quantales

Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element a, if a b a for all b, then a a* a = a. A Hilbert-style axiom system is given for a propositional logic, called Gelfand Logic, which is sound and complete with respect to Gelfand quantales. A Kripke semantics is presented for which the soundness and completeness of Gelfand logic is shown. The completeness theorem relies on a Stone style representation theorem for complete lattices. A Rasiowa/Sikorski style semantic tableau system is also presented with the property that if all branches of a tableau are closed, then the formula in question is a theorem of Gelfand Logic. An open branch in a completed tableaux guarantees the existence of an Kripke model in which the formula is not valid; hence it is not a theorem of Gelfand Logic.     

Chronic stress-induced alterations in mouse colonic 5-HT and defecation responses are strain dependent

Mood disorders and chronic stress are frequently associated with gastrointestinal (GI) symptoms including diarrhoea or constipation. Locally produced serotonin [5-hydroxytryptamine (5-HT)] regulates GI motility and is a key factor in the pathophysiology of stress-associated GI disorders. We aimed to establish whether chronic stress can differentially affect faecal output and colon 5-HT concentration in two inbred mouse strains: BALB/c and C57BL/6 which differ in their ability to cope with stress. Adult male BALB/c and C57BL/6 mice were restrained for 2?h daily for 10 days. Defecation was monitored during each stress session. Twenty-four hours after the last session of stress, plasma corticosterone concentration was higher than control in both strains, indicative of a physiological effect of chronic stress; however, stress-induced diarrhoea was more persistent in C57BL/6 mice. Basal concentration of colon 5-HT was higher in C57BL/6 mice, and stress elicited an increase in colon 5-HT only in this strain. Finally, na?ve BALB/c mice had a higher sensitivity (incidence of diarrhoea) to 5-HT (0.33?mg/kg, i.p.) than C57BL/6 mice. Our results suggest that differential defecation responses to stress may be associated with colon 5-HT concentration, which may in turn reflect the individual sensitivity to 5-HT. In addition, C57BL/6 mice emerge as a relevant model for studying GI alterations induced by chronic stress.     

Children's time production for concurrent nontemporal motor tasks

An internal clock model has often been used to explain disruptions in timing production that occur when temporal and nontemporal tasks are performed simultaneously. In this study, participants' ability to walk 8 m in 8 sec. while executing various secondary concurrent nontemporal tasks was assessed for 16 children enrolled in sports at school. Children participated in six trials under five randomized task conditions involving different coordinative and cognitive workloads. The duration of timing production increased as the attention requirements or cognitive demands placed upon the completion of the task increased. However, participants also showed learning of timing over the six trials. Significant differences were found between the timing task and the concurrent nontemporal tasks depending on the difficulty and cognitive load of the secondary tasks. Results are discussed using attention models of time estimation and production.     

Manipulations of start and food locations affect navigation on a foraging task

Rats were able to search multiple food cups in a foraging task and successfully return to a fixed, but not a variable, start location. Reducing the number of food cups to be searched resulted in an improvement in performance in the variable start condition. Performance was better when only one or two food cups had to be visited but was still impaired if the food was not found in the first cup searched. Variable start locations impaired performance when only one food cup had to be searched, if that cup was moved over the table. These findings suggest that there is an interaction between memory processes and the navigational processes that allows an animal to return to its start location after a foraging trip. It appears that a fixed location for the food or the start point of a foraging trip is a necessary precondition for accurate performance.     

A Basic Bivariate Structure of Personality Attributes Evident Across Nine Languages

Here, two studies seek to characterize a parsimonious common‐denominator personality structure with optimal cross‐cultural replicability. Personality differences are observed in all human populations and cultures, but lexicons for personality attributes contain so many distinctions that parsimony is lacking. Models stipulating the most important attributes have been formulated by experts or by empirical studies drawing on experience in a very limited range of cultures. Factor analyses of personality lexicons of nine languages of diverse provenance (Chinese, Korean, Filipino, Turkish, Greek, Polish, Hungarian, Maasai, and Senoufo) were examined, and their common structure was compared to that of several prominent models in psychology. A parsimonious bivariate model showed evidence of substantial convergence and ubiquity across cultures. Analyses involving key markers of these dimensions in English indicate that they are broad dimensions involving the overlapping content of the interpersonal circumplex, models of communion and agency, and morality/warmth and competence. These “Big Two” dimensions—Social Self‐Regulation and Dynamism—provide a common‐denominator model involving the two most crucial axes of personality variation, ubiquitous across cultures. The Big Two might serve as an umbrella model serving to link diverse theoretical models and associated research literatures.     

Religion and Life Satisfaction: A Correlational Study of Undergraduate Students in Trinidad

Journal of Religion and Health - Religious behaviour tends to correlate positively with life satisfaction. The predictive power of this relationship is associated with various socio-demographic...