On The Computational Consequences of Independence in Propositional Logic

Sandu and Pietarinen [Partiality and Games: Propositional Logic. Logic J. IGPL 9 (2001) 101] study independence friendly propositional logics. That is, traditional propositional logic extended by means of syntax that allow connectives to be independent of each other, although the one may be subordinate to the other. Sandu and Pietarinen observe that the IF propositional logics have exotic properties, like functional completeness for three-valued functions. In this paper we focus on one of their IF propositional logics and study its properties, by means of notions from computational complexity. This approach enables us to compare propositional logic before and after the IF make-over. We observe that all but one of the best-known decision problems experience a complexity jump, provided that the complexity classes at hand are not equal. Our results concern every discipline that incorporates some notion of independence such as computer science, natural language semantics, and game theory. A corollary of one of our theorems illustrates this claim with respect to the latter discipline.     

A Preliminary Study of Activation,Stress, and Self-Management of Parents of Children with Autism Spectrum Disorder

Children with autism spectrum disorder (ASD) and developmental disabilities are high users of services, yet very little is known about how parents of these children interact with the health care system. Further, compared to parents of children with other developmental disabilities, parents of children with ASD experience more stress and dissatisfaction with services. Current efforts for improving services point to a need for understanding caregivers’ perceptions of their own health-care related beliefs and actions. Activation is a construct that measures the belief, knowledge, action, and persistence of managing one’s health care needs. The objective of this preliminary study was to evaluate the activation of parents of children with ASD using an adapted parent activation measure (PAM) for children with developmental disabilities called the PAM-DD. Data were collected from parents who received treatment as usual from a community-based outpatient treatment planning service for children with ASD. PAM-DD scores were compared with parent ratings of stress, self-management, and service satisfaction. Results indicated that increased activation correlated positively with parent report of satisfaction and ability to self-manage child issues such as eating, sleeping, and behavior and correlated negatively with parenting stress. The study of activation shows promise as a feature of quality of care for parents of children with developmental disabilities.