Reflections on “difficult” embeddings

The main purpose of this note is to present difficult embeddings of minimal and full intuitionistic logic into classical linear logic, and to prove their soundness and faithfulness. Moreover, it is also pointed out that Girard's translation of intuitionistic logic into classical linear logic is provably equivalent to one of the translations considered in this paper.     

Connectification forn-contraction

In this paper, we introduce connectification operators for intuitionistic and classical linear algebras corresponding to linear logic and to some of its extensions withn-contraction. In particular,n-contraction (n2) is a version of the contraction rule, wheren+1 occurrences of a formula may be contracted ton occurrences. Since cut cannot be eliminated from the systems withn-contraction considered most of the standard proof-theoretic techniques to investigate meta-properties of those systems are useless. However, by means of connectification we establish the disjunction property for both intuitionistic and classical affine linear logics withn-contraction.Presented byHiroakira Ono     

Social Development of Preschool Children in Croatia: Contributions of Child Temperament, Maternal Life Satisfaction and Rearing Practices

We conducted the present study to examine the relationship of maternal characteristics (estimated happiness and life satisfaction, and child-rearing practices) and children’s temperament to conduct problems and prosocial behavior of preschool children in Croatia. Participants were mothers of 258 children (mean age 61.62 months), who gave their estimations on the Satisfaction with Life Scale, the Subjective Happiness Scale, the Parental Behaviour Questionnaire, the EAS Temperament Survey and the Strengths and Difficulties Questionnaire. After analyzing correlations between all the variables included in research, we conducted two hierarchical regression analyses with implementation of predictor variables in 4 stages (socio-demographic variables; mothers’ estimated happiness and life satisfaction; child temperament; mothers’ parenting). In the final step of regression significant predictors of preschoolers’ conduct problems were children’s age, temperamental emotionality and activity, and mothers’ punishment and inductive reasoning. When predicting children’s prosocial behavior, significant predictors were mothers’ inductive reasoning and warmth, and children’s age and temperamental shyness.     

One test,five scoring procedures: different ways of approaching the cognitive reflection test

Although the cognitive reflection test (CRT) represents a frequently used instrument within the field of judgement and decision-making, its scope and detailed characteristics are still not well understood. Therefore, the present article discusses 5 different ways of scoring the CRT that include the regular CRT scoring procedure (CRT-Regular), adding up the intuitive answers (CRT-Intuitive), calculating the proportion of intuitive in total incorrect answers (CRT-Proportion Intuitive), scoring only non-intuitive answers irrespective of their correctness (CRT-Reflection) and calculating the proportion of correct in total non-intuitive answers (CRT-Calculation). We conducted 2 studies aimed at investigating the associations among these scoring techniques and their relationships with thinking dispositions, specifically the need for cognition, faith in intuition, superstitious thinking, maximising and post-choice regret. The results indicate that thinking dispositions play a modest role in explaining the performance on the CRT. The specific associations among the investigated dispositions and different CRT scoring techniques are discussed.     

Bounded contraction and Gentzen-style formulation of Łukasiewicz logics

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1]. The axiomatizations obtained in a Gentzen-style formulation are equivalent to finite and infinite-valued ukasiewicz logics.Presented by Jan Zygmunt     

The Role of Decision Making Styles in Explaining Happiness

In pursuit of happiness, individuals often choose activities which may be influenced by their general decision making styles that reflect habitual ways of choosing and making decisions. The present study investigated the associations of such tendencies, namely individuals’ temporal perspectives that included present and future focus, and maximizing, with persons’ orientations to happiness and their relevance for subjective well-being. The obtained results confirmed previous reports indicating the relevance of orientations to happiness for subjective well-being. With respect to the decision making styles, they revealed positive correlations with regard to future focus with orientations to meaning and engagement that were also negatively associated with present focus. In addition, present focus was positively correlated with orientation to pleasure. With respect to maximizing, this decision making style was positively associated with all three orientations. While assessing the relevance of decision making styles for subjective well-being, the regression analyses indicated that higher levels of maximizing directly predicted higher levels of negative affect and lower life satisfaction. Next, mediation and network methodologies revealed significant mediating effects of orientations to meaning and engagement with respect to the relationships between future focus with life satisfaction and positive affect, orientation to meaning with respect to the associations between present focus with life satisfaction and positive affect, and orientation to engagement with respect to the relationships between maximizing with life satisfaction and positive affect. These results extend previous knowledge, indicating the relevance of individuals’ decision making styles for their conceptualizations of happiness, as well as subjective well-being.     

Development of an ethanol model using social insects: III. Preferences for ethanol solutions

Experiments are designed to assess whether free-flying honey bees have an aversion to an ethanol solution when given a choice between targets containing an ethanol solution in sucrose or sucrose only. Animals given a choice between a 1% ethanol solution and sucrose only show no aversion to the ethanol solution either in acquisition or extinction. Honey bees given a choice between a 5% ethanol solution and sucrose only show no differences in the initial choice of targets but some ees do switch over to the sucrose-only target. Performance during extinction indicates that bees landed on the previously reinforced sucrose-only target more than the target previously containing the 5% ethanol solution. An experiment in which bees were given a single 5%, ethanol target showed that of 20 bees, 11 returned for the entire 12 trials of the experiment. All bees returned at least 6 times to the 5% ethanol target. Additional experiments were run on harnessed foragers in a palatability study of alcoholic beverages consumed by humans. The results of the palatability experiment indicate that in general, bees prefer more sweet drinks with less alcohol.     

Decision Making Characteristics and Decision Styles Predict Adolescents’ Career Choice Satisfaction

Choosing one’s future career represents one of the most important decisions individuals face during their development. In the present study, Croatian college students recollected the process of choosing their future professional paths at the end of high school, and evaluated the outcome of this process. Specifically, students described how they chose between different career options, typically different college majors, available to them at that time. They specified the number and main characteristics of considered alternatives, the underlying motivation and timing of committing to a particular option, and reported how satisfied they were with the made choices. Next, the present study explored the influence of several identified decision making characteristics on participants’ immediate and delayed satisfaction with the chosen option. Additionally, the influence of several decision styles on individuals’ satisfaction was investigated. The obtained results indicate that, among decision making features, decision certainty represented the only significant predictor of participants’ immediate satisfaction with the made decision. The appeal of the preferred option and the number of considered options were revealed as additional significant predictors of delayed satisfaction with the chosen alternative. With regard to decision styles, regret and a distinct commitment factor predicted participants’ satisfaction with the made choice.     

Resilience matters: Explaining the association between personality and psychological functioning during the COVID-19 pandemic

Background/ObjectiveThe objective of the study was to elucidate the underlying mechanism through which basic personality dimensions predict indicators of psychological functioning during the COVID-19 pandemic, including subjective well-being and perceived stress. As a personality characteristic highly contextualized in stressful circumstances, resilience was expected to have a mediating role in this relationship. Method: A sample of 2,722 Slovene adults, aged from 18 to 82 years filled in the Big Five Inventory, the Connor-Davidson Resilience Scale, the Perceived Stress Scale, and the Mental Health Continuum. A path analysis with the Bootstrap estimation procedure was performed to evaluate the mediating effect of resilience in the relationship between personality and psychological functioning. Results: Resilience fully or partially mediated the relationships between all the Big Five but extraversion with subjective well-being and stress experienced at the beginning of the COVID-19 outburst. Neuroticism was the strongest predictor of less adaptive psychological functioning both directly and through diminished resilience. Conclusions: Resilience may be a major protective factor required for an adaptive response of an individual in stressful situations such as pandemic and the associated lockdown.     

Lambek calculus with restricted contraction and expansion

This paper deals with some strengthenings of the non-directional product-free Lambek calculus by means of additional structural rules. In fact, the rules contraction and expansion are restricted to basic types. For each of the presented systems the usual proof-theoretic notions are discussed, some new concepts especially designed for these calculi are introduced reflecting their intermediate position between the weaker and the stronger sequent-systems.This work was supported by the Research Council of Slovenija