We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

T. 1-2. Statʹi po filosofīi.--t. 3. Statʹi obshchenauchnago kharaktera.

The interaction of the organism with the environment requires not only reactive, but also active behavior (i.e., search activity) which helps subject to meet the challenge of the uncertainty of the environment. A positive feedback between active behavior and immune system makes the selection process effective.

The Concept of Humanitarian Development of Ukraine till 2020: Religious Proposals to Plan-Prospectus.

For the current, turning point in the history of Ukraine characterized by the desire of ideologues of different confessions to speak from the standpoint of the global vision of the world, the inclusion in the public consciousness of the ideological function of religion, through which the religious interpretation of the relationship "man - the world" is revealed. To achieve this they seek, in particular, through the involvement in theological outlook of theological interpretations of the achievements of the combined science, which (...) supposedly only in such a way acquire perfection and true meaning. (shrink)