Conditional term rewriting is an intuitive yet complex extension of term rewriting. In order to benefit from the simpler framework of unconditional rewriting, transformations have been defined to eliminate the conditions of conditional term rewrite systems. Recent results provide confluence criteria for conditional term rewrite systems via transformations, yet they are restricted to CTRSs with ...

Cooperation among genetically unrelated individuals is a fundamental aspect of society, but it has been a longstanding puzzle in biological and social sciences. Recently, theoretical studies in biology and economics showed that conditional cooperation-cooperating only with those who have exhibited cooperative behavior-can spread over a society. Furthermore, experimental studies in psychology de...

Conditional reasoning reasoning with ”if” is very common in everyday life. Consequently, all reasoning theories provide explanations for typical logical errors in conditional reasoning. The combination of conditional reasoning with spatial relational reasoning provides a new test-bed for these theories. Take, for instance, the two assertions ”If the church is to the left of the cinema then the ...

Dear Editor, When an academician or clinician assumes the chair of department, multiple responsibilities dawn upon the chair that requires appropriate analysis and effective decision-making skills. Head of the department is uniquely poised to translate the organisational goals into the collective performance of the departmental members. Headship is an iterative process which necessitates ...

Scott Sturgeon has claimed to undermine the principal argument for Physicalism, in his words, the view that “actuality is exhausted by physical reality” (Sturgeon 1998, p. 410). In noting that actuality is exhausted by physical reality, the Physicalist is not claiming that all that there is in actuality are those things identified by physics. Rather the thought is that actuality is made up of a...