Effects of anorectic drugs on food intake under progressive-ratio and free-access conditions in rats

The effects of two anorectic drugs, dexfenfluramine and phentermine, on food intake under different food-access conditions were examined. Experiment 1 compared the effects of these drugs on food intake under a progressive-ratio (PR) schedule and free-access conditions. Dexfenfluramine decreased food intake under both conditions, but the doses required to decrease intake under free-access conditions were higher than those required to reduce intake under the PR condition. Intermediate doses of phentermine sometimes increased breaking points, and higher doses decreased them. Phentermine decreased food intake at the same doses under both access conditions. Thus the potency of dexfenfluramine, but not phentermine, to decrease food-maintained behavior depended upon the food-access condition. Experiment 2 used a novel mixed progressive-ratio schedule of food delivery to study the duration of drug effects. Sessions consisted of five components separated by 3-hr timeouts. The ratio requirement reset at the beginning of each component and a new breaking point was obtained. Both dexfenfluramine and phentermine dose-dependently decreased breaking points early in the session. In some rats, compensatory increases in breaking point were observed. That is, breaking points later in the session increased over control levels, resulting in no change in the total number of food pellets earned for the session compared to control. The present findings suggest that the effects of some anorectic drugs depend upon the access conditions for food; increasing the effort to obtain food may enhance their ability to decrease food-maintained behavior.     

Quantized Linear Logic,Involutive Quantales and Strong Negation

A new logic, quantized intuitionistic linear logic (QILL), is introduced, and is closely related to the logic which corresponds to Mulvey and Pelletier's (commutative) involutive quantales. Some cut-free sequent calculi with a new property quantization principle and some complete semantics such as an involutive quantale model and a quantale model are obtained for QILL. The relationship between QILL and Wansing's extended intuitionistic linear logic with strong negation is also observed using such syntactical and semantical frameworks.     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

A rapid assessment of skills in young children with autism

Educational interventions based on the principles of behavior analysis are highly effective for establishing skills in young children with autism. As a first step in program development, the child's current skill level is determined by evaluating performance on tasks drawn from a preestablished curriculum. However, few specific guidelines have been delineated for conducting these skills assessments or interpreting the results. In this study, we evaluated an efficient methodology for conducting skills assessments. Six children who had been diagnosed with autism participated. The relative efficacy of two assessment packages--one containing several reinforcement procedures and one containing several potentially effective prompts--was evaluated across two to three skills for each child using multiple baseline and reversal designs. Results suggested that the methodology was useful for matching targeted skills to appropriate interventions.     

Systematic application and removal of protective equipment in the assessment of multiple topographies of self-injury

We evaluated the effects of systematic application and removal of protective equipment on three topographies of self-injurious behavior (SIB) exhibited by a girl who had been diagnosed with autism. Results showed that when protective equipment was applied, SIB decreased to near-zero levels. In addition, withdrawal of protective equipment for specific topographies of SIB (by removing only the corresponding padding) increased rates of SIB only for that topography of SIB. Next, a functional analysis of hand SIB showed that protective equipment suppressed this behavior in all conditions and that the behavior was maintained by automatic reinforcement when padding was removed. Results are discussed in terms of sensory extinction as a possible mechanism responsible for response suppression.     

Algebras of Intervals and a Logic of Conditional Assertions

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates.     

Negative Equivalence of Extensions of Minimal Logic

Two logics L₁ and L₂ are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L₁ if and only if it can be done in L₂. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.The author acknowledges support by the Alexander von Humboldt-StiftungPresented by Jacek Malinowski     

Interactions between Knowledge,Action and Commitment within Agent Dynamic Logic

This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable.Presented by Ewa Orlowska     

Functional analysis and treatment of self-injurious behavior in young children a summary of 30 cases

The assessment and treatment of self-injurious behavior (SIB) has received much attention in the literature; however, few studies have focused on early intervention for this behavior. In the current study, functional analyses with developmentally appropriate modifications were conducted in an outpatient clinic with 30 children (aged 10 months to 4 years 11 months) to assess SIB and problem behavior in its early stages. The reported mean age of SIB onset was 17 months, and head banging was the most prevalent topography. Functional analyses identified sources of reinforcement for SIB in 62.1% of cases; with the inclusion of all forms of problem behavior, sources of reinforcement were identified for 87.5% of cases. Function-based treatments were developed for 24 cases, with functional communication training prescribed most often (70.8% of cases). Implications of these findings for the development of early intervention programs for SIB are discussed.