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)

Topics in Cognitive Science, Volume 14, Issue 2, Page 414-425, April 2022.

A characteristic feature of the EU's current foreign policy course is its stepping up its policy towards relations with Islamic countries, especially the Middle East and Middle East, and enhancing its role in addressing key issues in the region. To date, the region has been identified in the Council of Europe and European Commission documents as a "key foreign policy priority".

The Ukrainian Democratic-Radical Party was formed as a result of the unification of the Ukrainian Democratic and Ukrainian radical party in 1905. Regarding religious affairs, the UDRP program required the separation of the Church from the state and the election of the clergy that was traditional for Ukraine. The party's foundations were local communities that existed autonomously and often raised and resolved on their own. In January, 1905, the Odessa community asked the Russian government to ensure the freedom to use (...) the Ukrainian language in the church. (shrink)