Every transcendental meromorphic function f in the plane which has only three critical values satisfies lim inf r→∞ T (r, f) log r ≥ √ 3

This study of the effects of the Transcendental Meditation program on drug abuse was performed to determine what therapeutic value the practice of the Transcendental Meditation technique has in reducing the use of nonprescribed drugs. Ten experimental and ten control subjects, matched for past drug use, were monitored for drug consumption over a three-month period. Subjects in the experimental ...

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. ...

for the first time in the history of logic, afzal al-din al-khunaji has found tautologies and contradictories among the verity and actuality propositions. these have been formalized and investigated in first-order logic and it has been shown that their perpetual truth requires the assumption of ‘the presupposed existence of non-existence.’ in this paper, i investigate the tautologies in second-...

We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption ...