On Dehn's algorithm

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46211/1/208_2005_Article_BF01361168.pd

Attributions of Responsibility for Rape: Differences Across Familiarity of Situation, Gender and Acceptance of Rape Myths

In 2004 in Australia, controversy over the alleged involvement of elite footballers in incidents of sexual assault highlighted a tendency to denigrate the victims and excuse the perpetrators. To investigate whether rape myths were prevalent enough to explain this public response, 102 university students were surveyed for their beliefs and determinations of blame in rape situations. Although there was a gender difference in the rates of rape myth acceptance, with males more likely to accept these beliefs, these were not evident in decisions about victim blame or perpetrator blame. However, males and high rape myth acceptors were significantly more likely to minimize the seriousness of the rape situation. These effects increased with familiarity depicted in the situation

Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems

We show how to derive refutationally complete ground superposition calculi systematically from convergent term rewriting systems for equational theories, in order to make automated theorem proving in these theories more eective. In particular we consider abelian groups and commutative rings. These are dicult for automated theorem provers, since their axioms of associativity, commutativity, distributivity and the inverse law can generate many variations of the same equation. For these theories ordering restrictions can be strengthened so that inferences apply only to maximal summands, and superpositions into the inverse law that move summands from one side of an equation to the other can be replaced by an isolation rule that isolates the maximal terms on one side. Additional inferences arise from superpositions of extended clauses, but we can show that most of these are redundant. In particular, none are needed in the case of abelian groups, and at most one for any pair of ..