We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

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.

Издание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.

В книге большое внимание занимает рассмотрение сущностных черт самого сложностного мышления и тех возможностей, которые оно открывает при анализе процессов глобализации, проблем биоэтики, экономики, инженерной науки. Для специалистов.

The proposed article is devoted to the description of an intelligent urban passenger transport system based on unmanned electric vehicles, sequentially moving along a separate line. This system is a passenger transport system of a new urban mobility, formed under the influence of social conditions generated by high population density in cities, that suppose the development of pedestrian zones and ecological modes of transport, "transport as a service", etc. In this historical context, public transport systems acquire special relevance. The described (...) transport system belongs to intelligent systems, since it is capable of functioning in autonomous mode without human intervention, adaptively responding to changes in the dynamics of the flow of passengers during the day. Passengers are transported by electric cars, which can be combined into cassettes according to the principle of road trains based on the transportation plan drawn up by the intelligent center of the transport system according to the matrix of correspondences, filled in taking into account the incoming requests for service from passengers. When drawing up a transportation plan, the algorithms of the transport system give preference to transportation according to the "source-destination" principle, that is, when the passenger goes to the destination with a minimum number of intermediate stops, and ideally without them. The paper formulates also a criterion of arising of a conflict in the movement of vehicles, which allows to identify situations when an electric vehicle driving in front can detain vehicles following after. The work has relevance because the criterion will allow to make adjustments in the schedule of movement of vehicles and exclude the loss of time and energy that carries the transport system during braking and acceleration of electric cars, as well as to reduce waiting time and travel of passengers. (shrink)

Thomas Schelling, who wrote the foreword for this book, won the Nobel Prize in economics for "having enhanced our understanding of conflict and cooperation through game-theory analysis." This came after he had taught a course in game theory and rational choice to advanced students and government officials for 45 years. In this book, Robert Dodge provides in language for a broad audience, the concepts that Schelling taught. Armed with Schelling's understanding of game theory methods and his approaches to problems, the (...) general reader can improve daily decision making. Mathematics often make game theory challenging but was not a major part of Schelling's course and is even less of a factor in this book. Along with a summary of the material Schelling presented, included are problems from the course and similar less challenging questions. While considerable analysis is done with the basic game theory tool--the two-by-two matrix--much of the book is descriptive and rational decision-making is explained with stories. Chapter supplements are added to illuminate points presented by Schelling, including writings by Paul Krugman, Thomas Friedman, Steven Levitt, and others. (shrink)

On the philosophy of Śaṅkarācārya; papers presented at National Seminar on Ādi Śaṅkarācārya, organized by Sahitya Akademi in collaboration with the Department of Sanskrit, Pondicherry University in 1989.

The paper addresses the use of heterogeneous ensembles of intelligent unmanned vehicles in such a perspective field of innovations as an unmanned fishery. The issues of joint activity of unmanned vehicles of different types in fishing operations based on intelligent technologies are investigated. The “smart fishing” approach based on the joint fishing operation model is proposed. The operational framework that includes missions, roles, and activity scenarios embedded in the discretized spatial model is presented. The scenario activities are considered as the (...) sequences of pentad that determine executing specific functions concerning the specified waypoint, timepoints, and the states of vehicles. The definition of the plan as the scenario prototype that needs adjusting to the conditions of the situational context is proposed. The coordination problem regarding the joint activities of the unmanned vehicles and their scenarios is defined and the coordination framework based on the distributed common board model and coordination primitives is presented. The prototype of the intelligent scenario-based system including the implementation of both operational and coordination frameworks developed for the control of unmanned vehicles is described. This system makes unmanned vehicles capable to absorb all the latest advances in intelligent technologies to perform smart fishing operations jointly in a large heterogeneous group. The proposed approach to smart fishing using intelligent technologies makes it possible to detach fishermen from the fishing activities dangerous to their life and health, to reduce significantly poaching and illegal fishing, to increase the overall efficiency of fishing operations, and even to save the marine ecosystem. (shrink)

Издание предназначено для специалистов в области традиционной культуры, учителей, студентов гуманитарных специальностей.

The author examines the single topic approach to the construction of introductory philosophy courses. The author considers the single topic approach to be an alternative to more historically- and topically-based approaches. The traditional approach to philosophy is often broad and difficult for students to engage with in classroom discussion. A narrow and detailed treatment of a standard area or topic facilitates classroom discussion and allows students to transfer insights and skills in areas of their own disciplines. The author outlines a (...) methodology that treats philosophical texts in an interdisciplinary context, which emphasizes to students that philosophy is not a detached field of study. (shrink)

1. The characterization of Hegel's teaching as dialectical is usually associated with a critique of the logic that preceded his and that was dominant in his time: that of the Wolffians and, in particular, of Kant and the Kantians. All in all, to characterize Hegel's teaching in this way is entirely in accord with the facts. However, when stated in so general a form, it leaves much unclarified and undoubtedly demands further concreteness. The article we offer here for the reader's (...) consideration is an attempt at a concretization of this order. Central to this matter is the question of formal thinking: did Hegel accept the rights of formal thinking, and, if so, to what degree? (shrink)

Монография предназначена для специалистов в области социальной философии, социологии и истории, а также для широкого круга читателей.

Chastʹ I. Ėsteticheskie uchenii︠a︡ filosofov antichnogo mira -- Chastʹ II. Iskusstvo v suzhdenni︠a︡kh pisateleĭ antichnogo mira.