In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...) [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic. (shrink)

We examined the hypothesis that a tendency to experience the world in terms of a sense of ‘special’ connection is responsible for the self-transcendent value dimension identified by multi-dimensional scaling and constitutes a common factor for different religious and non-religious interpretations of spirituality. Eight different groups were studied including: six different types of faith leaders in India and the UK, people who self-rated as spiritual but not religious, and those self-rating as neither spiritual nor religious. They completed a questionnaire that (...) assessed the strength of their spirituality irrespective of type and the experience of special connection to the following categories: people, nature, places and the universe, with and without using the term spiritual. For all eight samples the different types of connection were highly inter-correlated, and self-perceived spirituality correlated with the sum of connection items irrespective of whether items included the term spiritual or not. Variation between groups in the size of the latter correlation was consistent with different interpretations of spirituality in those groups. Although the meaning of spirituality is socially constructed, variability within faith leader groups suggests that its interpretation is also affected by personality. (shrink)

Cramer et al. contrast two possible explanations for psychological symptoms: latent variables (i.e., specific cause) versus a network of causality between symptoms. There is a third explanation: The reason for comorbidity and the reported network structure of psychological symptoms is that the underlying biological cause is a psychoneuroimmunoendocrine information network which, when dysregulated, leads to several maladaptive psychological and somatic symptoms.

We examined the hypothesis that a tendency to experience the world in terms of a sense of ‘special’ connection is responsible for the self-transcendent value dimension identified by multi-dimensional scaling and constitutes a common factor for different religious and non-religious interpretations of spirituality. Eight different groups were studied including: six different types of faith leaders in India and the UK, people who self-rated as spiritual but not religious, and those self-rating as neither spiritual nor religious. They completed a questionnaire that (...) assessed the strength of their spirituality irrespective of type and the experience of special connection to the following categories: people, nature, places and the universe, with and without using the term spiritual. For all eight samples the different types of connection were highly inter-correlated, and self-perceived spirituality correlated with the sum of connection items irrespective of whether items included the term spiritual or not. Variation between groups in the size of the latter correlation was consistent with different interpretations of spirituality in those groups. Although the meaning of spirituality is socially constructed, variability within faith leader groups suggests that its interpretation is also affected by personality. (shrink)