This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness arithmetics within such localizations. Earlier we have introduced monoidal, geometric rational types localizations domains as objects studies. Here extend this classification to rings with zero divisors consi...

Enjoyment of negative emotions in music is seen by many as a paradox. This article argues that the paradox exists because it is difficult to view the process that generates enjoyment as being part of the same system that also generates the subjective negative feeling. Compensation theories explain the paradox as the compensation of a negative emotion by the concomitant presence of one or more p...

Software testing demands the use of some model to guide such test tasks as selecting test inputs, validating the adequacy of tests, and gaining insight into test effectiveness. Most testers gradually build a mental model of the system under test, which would enable them to further understand and better test its many functions. Explicit models, being formal and precise representations of a teste...