The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a Kripke-style relational semantics for it. The results settle a question of Ono and Komori [OK85]. This revised version was published online in June 2006 with corrections to the Cover Date.     

Semi-DeMorgan algebras

Semi-DeMorgan algebras are a common generalization of DeMorgan algebras and pseudocomplemented distributive lattices. A duality for them is developed that builds on the Priestley duality for distributive lattices. This duality is then used in several applications. The subdirectly irreducible semi-DeMorgan algebras are characterized. A theory of partial diagrams is developed, where properties of algebras are tied to the omission of certain partial diagrams from their duals. This theory is then used to find and give axioms for the largest variety of semi-DeMorgan algebras with the congruence extension property.Semi-deMorgan algebras include demi-p-lattices, the topic of H. Gaitan's contribution to this special edition. D. Hobby's results were obtained independently.     

Classifying ℵo-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories

Clark and Krauss [1977] presents a classification of complete, satisfiable and _o-categorical theories in first order languages with finite non-logical vocabularies. In 1988 the first author modified this classification and raised three questions about the distribution of finitely axiomatizable theories. This paper answers two of those questions.     

Homogeneous and Universal Dedekind Algebras

A Dedekind algebra is an order pair (B, h) where B is a non-empty set and h is a similarity transformation on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called the configurations of the algebra. There are ₀ isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on called its configuration signature. The configuration signature counts the number of configurations in each isomorphism type which occur in the decomposition of the algebra. Two Dedekind algebras are isomorphic iff their configuration signatures are identical. It is shown that configuration signatures can be used to characterize the homogeneous, universal and homogeneous-universal Dedekind algebras. This characterization is used to prove various results about these subclasses of Dedekind algebras.     

The Products of the Imagination: Psychoanalytic Theory and Postmodern Literary Criticism

This article considers some of the affinities between postmodern literary theory and the psychoanalytic theories concerned with intersubjective phenomena. Postmodern literary theory is described briefly, and it is argued that one of its major concerns is the nature of, and the political and cultural influences on, subjectivity and identity. Despite that, postmodernism generally, and literary postmodernism in particular, can be said to lack a theory of the psychological and interpersonal dimensions of the experience of self. This article contends that the more relational schools of psychoanalytic theory can provide an example of the construction of selfhood that is of importance to contemporary and postmodern literary criticism. The academy has, to a considerable extent identified psychoanalysis with the work of Jacques Lacan, but since the 1980s the work of such theorists as Jane Flax and Jessica Benjamin, building on the work of Nancy Chodorow, have increasingly opened up the possibilities of relational and object relations theory for literary studies. The relational psychoanalytic theories operate in the same epistemological universe as postmodern literary criticism, congruent with the postmodern idea of truth as constructed and relational, and selfhood as shifting, contingent, and always-in-process. Particular attention is paid to the work of Wilfred Bion, whose understanding of self provides an account both of the failure of meaning, and of the development of mind. Some examples of a relational approach to literary analysis are provided.     

内隐关系评估程序(IRAP)：测量原理及应用

内隐关系评估程序(Implicit Relational Assessment Procedure, 简称IRAP)是基于关系结构理论直接测量社会认知、信念或态度的新内隐测量方法, 具备一定的可靠性和有效性, 并与其它相关测量方法的适用性存在一定差异。不同的理论模型为IRAP的不同效应提供了解释。IRAP最初应用于临床诊断性研究, 新近已扩展到自我、社会认知、群体和态度等研究领域。进一步验证不同形式IRAP的信效度、探究IRAP的心理机制及产生的心理效应、在不同领域发挥IRAP的方法优势等将是未来研究的重要方向。     

Contextual cueing is not flexible

Target detection is faster when search displays repeat, but properties of the memory representations that give rise to this contextual cueing effect remain uncertain. We adapted the contextual cueing task using an ABA design and recorded the eye movements of healthy young adults to determine whether the memory representations are flexible. Targets moved to a new location during the B phase and then returned to their original locations (second A phase). Contextual cueing effects in the first A phase were reinstated immediately in the second A phase, and response time costs eventually gave way to a repeated search advantage in the B phase, suggesting that two target-context associations were learned. However, this apparent flexibility disappeared when eye tracking data were used to subdivide repeated displays based on B-phase viewing of the original target quadrant. Therefore, memory representations acquired in the contextual cueing task resist change and are not flexible.     

Recollection is a continuous process: Evidence from plurality memory receiver operating characteristics

Is recollection a continuous/graded process or a threshold/all-or-none process? Receiver operating characteristic (ROC) analysis can answer this question as the continuous model and the threshold model predict curved and linear recollection ROCs, respectively. As memory for plurality, an item's previous singular or plural form, is assumed to rely on recollection, the nature of recollection can be investigated by evaluating plurality memory ROCs. The present study consisted of four experiments. During encoding, words (singular or plural) or objects (single/singular or duplicate/plural) were presented. During retrieval, old items with the same plurality or different plurality were presented. For each item, participants made a confidence rating ranging from “very sure old”, which was correct for same plurality items, to “very sure new”, which was correct for different plurality items. Each plurality memory ROC was the proportion of same versus different plurality items classified as “old” (i.e., hits versus false alarms). Chi-squared analysis revealed that all of the plurality memory ROCs were adequately fit by the continuous unequal variance model, whereas none of the ROCs were adequately fit by the two-high threshold model. These plurality memory ROC results indicate recollection is a continuous process, which complements previous source memory and associative memory ROC findings.     

Type Logics and Pregroups

We discuss the logic of pregroups, introduced by Lambek [34], and its connections with other type logics and formal grammars. The paper contains some new ideas and results: the cut-elimination theorem and a normalization theorem for an extended system of this logic, its P-TIME decidability, its interpretation in L1, and a general construction of (preordered) bilinear algebras and pregroups whose universe is an arbitrary monoid. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller     

Exploring the Cognitive and Emotional Correlates to Proactive and Reactive Aggression in a Sample of Detained Girls

The current study examined the distinction between reactive and proactive aggression in a sample of detained girls (N = 58) aged 12 to 18. This study employed a self-report measure of aggression that was designed explicitly to assess both the forms that aggression takes (i.e., relational and overt), as well as the functions that aggression serves (i.e., reactive and proactive). Reactive aggression was uniquely associated with poorly regulated emotion and anger to perceived provocation, whereas proactive aggression was uniquely associated with callous-unemotional (CU) traits and biased outcome expectations for aggression. While overt aggression appeared to largely account for these associations, relational aggression showed strong and unique associations with CU traits. The current findings highlight the importance of assessing reactive and proactive aggression, as well as both overt and relational aggression, in detained girls.