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.