Light Affine Set Theory: A Naive Set Theory of Polynomial Time

In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in that it is based on a non-traditional hybrid sequent calculus which is required for formulating LLL.In this paper, we consider a naive set theory based on Intuitionistic Light Affine Logic (ILAL), a simplification of LLL introduced by [1], and call it Light Affine Set Theory (LAST). The simplicity of LAST allows us to rigorously verify its polytime character. In particular, we prove that a function over {0, 1}* is computable in polynomial time if and only if it is provably total in LAST.     

A second generation nonlinear factor analysis

Nonlinear common factor models with polynomial regression functions, including interaction terms, are fitted by simultaneously estimating the factor loadings and common factor scores, using maximum-likelihood-ratio and ordinary-least-squares methods. A Monte Carlo study gives support to a conjecture about the form of the distribution of the likelihood-ratio criterion.The research reported in this paper was partly supported by Natural Sciences and Engineering Research Grant No. A6346.     

子女越孝顺老年人越幸福吗?老年人孝道期待的作用

孝道是影响老年人幸福感的重要变量之一, 然而, 以往研究却得出相互矛盾的结论, 其中可能的重要原因之一是没有聚焦老年人孝道期待的实现程度。采用二次响应面回归分析探究老年人孝道期待和子女孝道支持行为之间的匹配度对老年人生活满意度和孤独感的影响。研究结果表明, 对于生活满意度而言, 和不匹配相比, 情感期待和情感支持以及联络期待和联络支持匹配时老年人生活满意度更高; 在期待和支持匹配的情况下, 生活满意度随信息期待和信息支持的增加而提高; 并且老年人的生活满意度仅随工具支持的增加而提高, 但与工具期待没有关系。对于孤独感而言, 在情感期待和情感支持二者不匹配时, 较于情感期待低于情感支持, 情感期待高于情感支持时老年人的孤独感更高; 孤独感仅随联络支持和信息支持的增加而降低, 与联络期待、信息期待、工具期待以及工具支持没有关系。该研究得出以下结论：老年人孝道期待的实现程度是提高其生活满意度的重要因素, 而情感期待高于情感支持是影响老年人孤独感的重要因素。     

Investigating Leader Role Congruity and Counterproductive Work Behavior

The present study sought to examine the role of fulfilled vs. unfulfilled expectations in work-related and non-work domains. Specifically, we examined how congruence and incongruence between implicit leadership theories across multiple categories of leaders (typical, ideal, and effective leaders) and characteristics recognized on one’s supervisor affect leader-member exchange (LMX), work-family conflict, and subsequent counter-productive work behavior. We tested our hypotheses using polynomial regression and response surface modeling. The results of this study showed that congruence between implicit leadership theories (ILT’s) of typical, ideal, and effective leaders and supervisor recognition, as well as incongruity between ILT’s of ideal leaders and characteristics recognized in one’s supervisor, significantly impacts perceived LMX quality with supervisors. Incongruity between ILT’s of typical and ideal leaders and supervisor recognition was also associated with higher ratings of work-family conflict (WFC). Finally, the results showed support for a significant indirect effect of congruence between ILTs of typical and ideal leaders and characteristics recognized in one’s supervisor on CWB through WFC. These results add meaningful depth to literature on congruent implicit theories in two ways: (a) we add to existing knowledge of outcomes associated with congruence on ILT’s, and, (b) we examine these associations using ILT’s across multiple categories of leaders. Implications are also discussed.     

规则适应视角下辱虐管理的成因机制

基于规则适应及资源依赖理论的解释视角,本研究考察了下属工作绩效与政治技能对上级辱虐的影响。通过对采集自两家企业的243对领导-下属的配对问卷进行分析,本研究的多项式回归与响应面分析表明,当下属的工作绩效(遵循做事显规则)与政治技能(遵循做人潜规则)在较高水平上保持一致时,其遭受的上级辱虐最少。但这种较高水平的一致只能维持在特定范围内,当两者过高时,反而易遭致上级的辱虐行为。同时,在工作绩效与政治技能存在差异的情境下,相比于"高工作绩效,低政治技能"的下属,"低工作绩效,高政治技能"的下属遭受的上级辱虐要更少。文章分析并证明了遵循不同规则的下属会导致不同程度的上级辱虐。     

A survey of residual analysis and a new test of residual trend

A survey of residual analysis in behavior‐analytic research reveals that existing methods are problematic in one way or another. A new test for residual trends is proposed that avoids the problematic features of the existing methods. It entails fitting cubic polynomials to sets of residuals and comparing their effect sizes to those that would be expected if the sets of residuals were random. To this end, sampling distributions of effect sizes for fits of a cubic polynomial to random data were obtained by generating sets of random standardized residuals of various sizes, n. A cubic polynomial was then fitted to each set of residuals and its effect size was calculated. This yielded a sampling distribution of effect sizes for each n. To test for a residual trend in experimental data, the median effect size of cubic‐polynomial fits to sets of experimental residuals can be compared to the median of the corresponding sampling distribution of effect sizes for random residuals using a sign test. An example from the literature, which entailed comparing mathematical and computational models of continuous choice, is used to illustrate the utility of the test.     

On Different Proof-Search Strategies for Orthologic

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word problem for free ortholattices.     

Allowing for infeasible pairings in the matching paradigm

The objective of research in the matching paradigm is to determine whether a one-to-one pairing configuration between objects in two arrays contains more pairings of a particular kind than expected under the null hypothesis. The presence of infeasible pairings, that is, of particular pairings which can not possibly take place, has the effect of altering the null distribution that would otherwise obtain. To enable researchers to determine the appropriate null distribution, a generalization of classical rook methodology is developed which can accommodate infeasible pairings in the matching paradigm.     

Positive and negative affectivity,stress, and well-being in African-Americans: Initial demonstration of a polynomial regression and response surface methodology approach

Objective: The extent to which positive (PA) and negative (NA) affect conjointly impact well-being is not yet well understood. Additionally, research investigating the role of affectivity in maintaining well-being among ethnic and racial minorities is scant. The current research demonstrates how polynomial regression and response surface methodology (PR and RSM) may be used to better understand how PA and NA jointly influence stress and well-being.

Design: In Study 1, 291 African-American undergraduates (M_age = 22.91, SD = 6.91; 67% female) completed measures of affectivity and psychological well-being. In Study 2, a community sample of 117 African-Americans (M_age = 31.87, SD = 13.83; 69% female) completed affectivity measures and a laboratory-based social stressor task to assess links between affectivity and salivary cortisol reactivity.

Main outcome measures: Study 1 included life satisfaction, perceived stress and self-reported depressive symptoms. Study 2 included salivary cortisol reactivity.

Results: Across both studies, PA ascendency (i.e. high PA combined with low NA) was associated with better well-being, while NA ascendancy (i.e. high NA combined with low PA) was associated with poorer outcomes.

Conclusion: PR and RSM may provide new insight into the conjoint influence of PA and NA on health and well-being. We discuss potential implications for affectivity research, including race-related explorations.     

On Different Intuitionistic Calculi and Embeddings from Int to S4

In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the structure and length of dag proofs.The second topic of this paper is the effect of different embeddings from Int to S4. We select two different embeddings from the literature and show that translated (propositional) intuitionistic formulae have sometimes exponentially shorter minimal proofs in a cut-free Gentzen system for S4than the original formula in a cut-free single-succedent Gentzen system for Int. Moreover, the length and the structure of proofs of translated formulae crucially depend on the chosen embedding.