Abstract UNITY is a model for concurrent specifications with complete logic proving progress properties of the form “ P leads to Q ”. generalized U-specifications by giving more freedom specify steps that are be taken infinitely often. In particular, these can correspond non-total relations. The generalization keeps sound and complete. paper exploits in two ways. Firstly, remains when specifica...

The classical statistical correlation is an efficient technique for linking simple numerical data sets via a single correlation coefficient R. Correlation of complex evidences that involves structured objects, text and data in a variety of discrete and continuous scales (nominal, order, absolute and so on) requires development of a new technique. Complexity of this task dictates the need to com...

In his late works Husserl interprets the crisis of European sciences as loss their meaning for life. The diagnosis seems to suggest therapeutic strategy: overcome crisis, phenomenology must return evidences life-world. article argues that husserlian strategy overcoming consists not in elimination break with prescientific natural attitude, but, on contrary, radicalization breach. Thus, I want sh...