Extending Free Pregroups with Lower Bounds

In this paper, we propose an extension of free pregroups with lower bounds on sets of pregroup elements. Pregroup grammars based on such pregroups provide a kind of an algebraic counterpart to universal quantification over type-variables. In particular, we show how our pregroup extensions can be used for pregroup grammars expressing natural-language coordination and extraction.     

The Lambek Calculus Extended with Intuitionistic Propositional Logic

We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.     

A Lambek Automaton

We define an automata-theoretic counterpart of (type-logical)grammars based on the (associative) Lambek-calculus L, a prominentformalism in computational linguistics. While the usual push-downautomaton (PDA) has the same weak generative power as the L-basedgrammars (Pentus, 1995), there is no direct relationship betweenthe computations of a PDA for some language L and the derivationsof an L-based grammar for L. In the Lambek-automaton, on theother hand, there is a tight relation (1-1) between automatoncomputations and grammar derivations. The automaton exhibitsa novel mode of operation, using hypothetical steps, directlyinspired by the hypothetical reasoning embodied by L.     

Systemic blockade of D2-like dopamine receptors facilitates extinction of conditioned fear in mice

Extinction of conditioned fear in animals is the explicit model of behavior therapy for human anxiety disorders, including panic disorder, obsessive-compulsive disorder, and post-traumatic stress disorder. Based on previous data indicating that fear extinction in rats is blocked by quinpirole, an agonist of dopamine D2 receptors, we hypothesized that blockade of D2 receptors might facilitate extinction in mice, while agonists should block extinction, as they do in rats. One day after fear conditioning mice with three pairings of a white noise conditional stimulus (CS) with moderate footshock, we injected the D2 antagonist, sulpiride, the D2 agonist, quinpirole, or vehicle, just before repeated CS presentations to generate extinction. We assayed fear by measuring behavioral freezing during extinction presentations and then drug-free during CS presentations 1 d later. We found that sulpiride injections before extinction training facilitated extinction memory 24 h later, while quinpirole partially blocked extinction memory compared with vehicle-injected controls. Notably, sulpiride treatment yielded significant extinction after spaced CS presentations, which yield no extinction at all in vehicle-treated mice. These findings suggest that dopamine D2-mediated signaling contributes physiological inhibition of extinction, and that D2 antagonists may be useful adjuncts to behavior therapy of human anxiety disorders.     

A case study approach to delivering and evaluating services by a school psychologist

Two interrelated problems in delivering school psychological services by one school psychologist acted as a motivating force behind this study: the problem of how to plan and render services to a school system where the ratio of students to school psychologists is high, and the problem of how to determine the degree of effectiveness of these services. This study describes an approach which consisted of three distinct services rendered by a school psychologist. Evaluative measurements of the services were made in two areas: the effect of the services on the ongoing operations of the system, and the evaluation of the services by school personnel exposed to the services directly or indirectly. The relative merits and the limitations of such an approach are discussed.     

A comparison of the work needs,attitudes, and preferences of professional accountants at different career stages

Although the concept of career stages has played an increasingly important role in vocational psychology, little research exists on career stage differences among professionals. In the present study, a sample of male professional accountants (N = 764) at different career stages were compared with respect to their work needs, work attitudes (intrinsic and extrinsic satisfaction, organizational and professional commitment), and vocational preferences. Accountants at different stages were found to differ significantly in their needs, work attitudes, and the extent to which they fit the Conventional type in Holland's model. In particular, accountants over the age of 60, in the preretirement stage of their career, when compared to their younger counterparts, reported significantly lower levels of job satisfaction but higher levels of organizational and professional commitment, and they demonstrate weaker higher-order needs but stronger security needs.     

A test of Holland's theory in a population of accountants

The study examined the SDS scales and work attitudes of 1952 Canadian Chartered Accountants (Anglophones and Francophones) and Californian Certified Public Accountants. Combinations of C, E, and S were found the most frequent personality patterns, and they constitute 27.8% of the total population. Scores on these types were positively related to organizational and professional commitments, as well as to vocational satisfaction. The level of congruence was positively correlated with the vocational criteria only in the American sample. The consistency level correlated with professional commitment in the Francophone sample, whereas the differentiation score showed mixed results.     

Bilateralism in Proof-Theoretic Semantics

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible.     

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.