Translation of first order formulas into ground formulas via a completion theory

A translation technique is presented which transforms a class of First Order Logic formulas, called Restricted formulas, into ground formulas. For the formulas in this class the range of quantified variables is restricted by Domain formulas.If we have a complete knowledge of the predicates involved in the Domain formulas their extensions can be evaluated with the Relational Algebra and these extensions are used to transform universal (respectively existential) quantifiers into finite conjunctions (respectively disjunctions).It is assumed that the complete knowledge is represented by Completion Axioms and Unique Name Axioms à la Reiter. These axioms involve the equality predicate. However, the translation allows to remove the equality in the ground formulas and for a large class of formulas their consequences are the same as the initial First Order formulas. This result open the door for the design of efficient deduction techniques.     

Effects of taking conflict personally on conflict management styles across cultures

The concept of taking conflict personally is largely underexplored by dominant conflict literature. The purpose of this study was to test the cross-cultural predictions of the associations between self-construal, the tendency to personalize conflict, and subsequent outcome variables such as negative feelings of being criticized and motivation to improve. The participants were 457 undergraduates, of which 185 were studying in Japan, and 272 were studying in the United States. The results indicated the significant negative relation between independent self-construal and taking conflict personally. On the contrary, interdependent self and taking conflict personally showed positive relation. In turn, taking conflict personally indicated positive relation with participants’ conflict management style, such as motivation to improve one’s own behaviors. Discussion of these results and their implications is provided.