Over and above the probable peaking of worldwide oil production as a current reality, the arrival of hard limits on all energy resources is very much nearer in the future than many people realize. The public discourse on Peak Oil and the associated arrival of hard limitson energy availability has attracted more than its share of brilliant and creative minds. In addition to scientific and technical analysts, thisgroup includes a fair number of generalists who have engaged in broader forms of (...) reflection upon the likely economic, social, political, and cultural effects of Peak Oil and other hard energy limits on the structure of current world civilization. In this paper, I select for examination three such generalists who are both especially talented and widely read by those having an interest in this topic: James Howard Kunstler, John Michael Greer, and Dmitri Orlov. My intention is to survey their central ideas in turn, with a view to forming a reasonably well-developed and concrete notion as to how the impending arrival of hard limits on energy consumption will affect the structure of built space in coming decades. I focus both on the macro-infrastructural level and on what one might term the micro-infrastructural level of the built space within which the denizens of contemporary industrial civilization live their daily lives. Theprincipal focus of the discussion will be on the situation in the United States, though many of the lines of argument presented may be applied much more broadly if suitably adjusted in light of locally prevailing conditions elsewhere. (shrink)

Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...) indicators of central tendency and variations, as well as methods of correlation analysis. The study is based on the data from regional statistics presented on the official website of Russian Statistics Agency, as well as data from monitoring the universities effectiveness, commissioned by the Ministry of Science and Higher Education of the Russian Federation. Scientific novelty of the research. For the first time, the authors present an empirical analysis of the relationship between indicators of socioeconomic development of Russian regions and indicators of scientific activity in universities in the region. The study is characterized by using a sample of homogeneous regions. The sample excluded regions that did not have significant scientific results, as well as regions that are leaders in economic development. As a result, a “core” of 57 Russian regions with similar characteristics of both economic development and the results of scientific activity was investigated. This increased the practical significance of the conclusions and their reliability. Results. As a result of the study, it was found out that there is a statistically significant relationship between all indicators of regional development and science in universities. However, a deeper analysis made it possible to establish that this relationship is indirect. In some cases, we can talk about the opposite influence - regional development on scientific results in universities. Conclusions. It was found that the indicators used in the public administration system for assessing the effectiveness and efficiency of scientific activity are not key in terms of their impact on regional development. It was revealed that publications in leading world databases and in the Russian Science Citation Index (RSCI) are equally related to regional development. It has been determined that in a number of cases, within the considered sample, it is possible to distinguish two groups of regions with a different nature of the relationship between regional development and science in universities. (shrink)

While Western political scientists have a variety of opinions on democracy and how its institutions could be improved, they almost never argue about the validity of democracy as a form of government. Of course, it would be unfair here to ignore the presence of an authoritarian streak in Western thought. Thomas Hobbes comes to mind most immediately. Yet the views of those thinkers with an authoritarian bent have become marginalized in present-day discourse; or, to be more precise, it is assumed (...) that their views on the importance of a strong government are irrelevant to the present. The assumption that a strong regime might be necessary in non-Western societies is thought to be the product of these authoritarian/totalitarian societies' elite classes—that is, a justification for imposing the power of the elite upon the people. Most Western political scientists are convinced that democracy is the best of all possible forms of government. (shrink)

This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...) November 1922, or, at the earliest, after Florensky started to give clandestine lectures about Onomatodoxy in Moscow (where Losev lived), i.e., not earlier than spring 1921. Therefore, Losev’s article “Onomatodoxy” could have been intended for the religious-philosophical collection of articles planned for publishing by Yaschenko in 1922 in Berlin. (shrink)

This article attempts to develop a theoretical approach to exploration of the environment, of intra-environmental information processes and mutually determinative relationships, and mode of being. Relying on the theoretical postulates of Gregory Bateson, the information theory of Claude Shannon, the concept of predictive processing, and Nikolai Ladovsky’s principle of economy of perception in architecture, the author seeks to show that the environment can act as an alternative mode to the subject for organizing experience. This interpretation of the concept of environment (...) can serve as a foundation for constructing an optics of inquiry that is not human-centric but at the same time could remain an optics of human inquiry. (shrink)

In this paper, we obtain axiom systems, bases of identities and quasi-identities for classes of algebras of binary relations with a conjunctive operation, i.e., an operation that can be defined by a logical formula containing only conjunctions. The result of applying such an operation to two binary relations is the Cartesian product of their reflexive projections. Our consideration of these classes leads to the concept of quasi-semilattices as a natural generalization of the notion of semilattices.

This book explores the major differences between the kinds of risk encountered in different sectors of industry - production and services - and identifies the main features of accidents within different industries. Because of these differences, unique risk-mitigation measures will need to be implemented in one industry that cannot be implemented in another, leading to large managerial differences between these broad economic sectors. Based on the analysis of more than 500 disasters, accidents and incidents - around 230 cases from the (...) production sector and around 280 cases from the service sector - the authors compare the risk response actions appropriate within different sectors, and establish when and how it is possible to generalize the experience of dealing with risks in any given industry to a wider field of economic activity. This book is mainly intended for executives, strategists, senior risk managers of enterprise-wide organizations and risk management experts engaged in academic or consulting work. By setting out clearly the sector differences in risk management, the authors aim to improve the practice of general risk assessment with regard to identifying and prioritizing risks, and of risk control with regard to planning appropriate mitigation measures. (shrink)

The conserved ribosomal protein uS3 in eukaryotes has long been known as one of the essential components of the small (40S) ribosomal subunit, which is involved in the structure of the 40S mRNA entry pore, ensuring the functioning of the 40S subunit during translation initiation. Besides, uS3, being outside the ribosome, is engaged in various cellular processes related to DNA repair, NF‐kB signaling pathway and regulation of apoptosis. This review is devoted to recent data opening new horizons in understanding the (...) roles of uS3 in such processes as the assembly and maturation of 40S subunits, ensuring proper structure of 48S pre‐initiation complexes, regulation of initiation and ribosome‐based RNA quality control pathways. Besides, we summarize novel results on the participation of the protein in processes beyond translation and consider biomedical implications of previously known and recently found extra‐ribosomal functions of uS3, primarily, in oncogenesis. (shrink)

In 1500, speculative philosophy lay at the heart of European intellectual life; by 1700, its role was drastically diminished. The Kingdom of Darkness tells the story of this momentous transformation. Dmitri Levitin explores the structural factors behind this change: the emancipation of natural philosophy from metaphysics; theologians' growing preference for philology over philosophy; and a new conception of the limits of the human mind derived from historical and oriental scholarship, not least concerning China and Japan. In turn, he shows that (...) the ideas of two of Europe's most famous thinkers, Pierre Bayle and Isaac Newton, were both the products of this transformation and catalysts for its success. Drawing on hundreds of sources in many languages, Levitin traces in unprecedented detail Bayle and Newton's conceptions of what Thomas Hobbes called The Kingdom of Darkness: a genealogical vision of how philosophy had corrupted the human mind. Both men sought to remedy this corruption, and their ideas helped lay the foundation for the system of knowledge that emerged in the eighteenth century. (shrink)

Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a translation of that paper.

This book considers the emergence of dialectic out of the spirit of dialogue and traces the relation between the two. It moves from Plato, for whom dialectic is necessary to destroy incorrect theses and attain thinkable being, to Cusanus, to modern philosophers—Descartes, Kant, Hegel, Schleiermacher and Gadamer, for whom dialectic becomes the driving force behind the constitution of a rational philosophical system. Conceived as a logical enterprise, dialectic strives to liberate itself from dialogue, which it views as merely accidental and (...) even disruptive of thought, in order to become a systematic or scientific method. The Cartesian autonomous and universal yet utterly monological and lonely subject requires dialectic alone to reason correctly, yet dialogue, despite its unfinalizable and interruptive nature, is what constitutes the human condition. (shrink)

This article examines the role of primary ethnographic materials – of field notes, letters and photographs – and even of the shelves and bookcases – in building accounts of the human condition. We trace the lives of incomplete and not-yet-found manuscripts, which have been treated as representative of whole archives, as well as closely held convictions and ideas in the history of anthropology. In so doing, we employ the notion of a ‘proxy’, or a set of signs and images which (...) point the audience in particular directions, without determining their overall destination. Our research is based on a few episodes from the histories of paper and digital copies of manuscripts and photographs of the anthropological couple Sergei and Elizabeth Shirokogoroff, who conducted ethnographic, linguistic and some archaeological research, first on the borderlands between China and Russia, and then later within China. We aim to show the complexity and social and intellectual vibrancy of their ethnographic field archives, which have been scattered across countries, institutions and personal collections. We conclude by suggesting that engaging anthropologically with field archives enables us to approach existing perspectives on archives in a new way, viewing them not as containers of catalogued information, but as entanglements reflecting social relations in local communities, the trajectories of ethnographers, and the aspirations of scholars asking questions today. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Dmitry Khanin THE POSTMODERN POSTURE Postmodernists—the sectarians ofour day—proclaim that the old kingdom of historical narrative and historical subject has perished, and is now being replaced by a new one of ahistorical discourses and ahistorical characters. According to these prophets, "history" is anyway just changes in ways of talking about history. Anyone who does not agree with the ahistoricity of the postmodern world oudook may be accused—and tried (...) on the spot—of defending the cause of the totalitarian Reason against the most liberating movement of today. This postmodernist abuse of history is paradoxical, since the very notion of history coming to its end and giving way to the ahistorical kingdom of freedom and merry debauchery is itself a very old idea, even a mythological one. The description ofhistory as marching toward its own demise relies on a whole tradition which portrays history as a drama. Aristode's conception of tragedy as a sequence of actions culminating in a dénouement has no doubt shaped this view of historical process. Christian and other religious millenarians have announced the end of history already many times. Yet another notorious instance of such eschatological daydreaming is the futurology of Karl Marx, who envisaged the kingdom of communism as occupying this same ahistorical space. A rather obsolete idea, perhaps, but it seems still to attract postmodernists, though they give it a characteristic twist, since they sincerely believe theory, discourse, écriture (i.e., theoretico-symbolical activity) are much more important than any actual historical contentprocesses and events. One of the most notable spokesmen for this approach is Arthur Danto, who insists that world history evolved in a good Hegelian manner until the theorists came to understand that history depends on their Philosophy and Literature, © 1990, 14: 239-247 240Philosophy and Literature texts much more than theorists themselves depend on historical processes and events.1 Many theoreticians working in an otherwise Marxist tradition similarly are glad to assert with FredricJameson that we must say farewell to Marx's positivistic illusion that history is driven by laws disguised as economic forces.2 In the epoch of "late capitalism," says Jameson, consumption gains the upper hand over production and becomes the mainspring of history. Of course, in light of recent doings in Europe I am tempted to ask if we owe it to postmodernists—and their ahistorical, inconsistent, and generally confounding claims about history lying in ruins—that the Berlin Wall actually is in ruins and Vaclav Havel is president of Czechoslovakia. Even more daring theorists may now declare an era of "very late capitalism." Here it will not be merely the mass media that act transformatively on society (as McLuhan claimed), but rather consumer goods themselves, like state-of-the-art washing machines or French perfumes, which create a new aura of intellectual discourse. TL· Postmodern Scene: Excremental Culture and Hyper-AesÜietics, a book by two Canadian authors, Arthur Kroker and David Cook, promotes such a sea change in the theoretical landscape and along the way presents a joyous recapitulation ofthe latest fads in postmodern thinking. The new apostolic generation ofpostmodern critics seems to enjoy the beautiful new things that can be bought for bucks, worrying at the same time that bucks may be losing some of their purchasing power. Like Hari-Krishnas dancing in the street they luckily possess a sort of happy consciousness which also recalls their puritanical great grandfathers who regarded profligacy as the greatest sin and much preferred saving to spending. In what follows I want to draw a portrait of this new postmodern posture. A few main assumptions underlie Kroker's and Cook's wake for postmodernism, which, in its peculiar genre of philosophic obituary, epitomizes and thus prepares for future oblivion views which were exceedingly popular in the preceding decade. First of all, the authors adopt Baudrillard's equation of Marx and Nietzsche: "Marx and Nietzsche shared a deep and common affinity in meditating upon historical (Christian) and materialistic (capitalist) expressions ofthewill ofpower."3 From Baudrillard's perspective Marx appears as a pathetic romantic who tried to defend the "referential illusion" by renaturalizing concrete labor even though its entirely abstract character was brilliandy revealed in Das Kapital. Baudrillard... (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

I detect a specific attitude to Byzantium (“the Byzantine Enlightenment”) in Ivan Kireevsky’ Slavophile article “On the Character of Enlightenment in Europe” (1852). I qualify this attitude as Byzantinocentrism. I take that as a focal point and, against this background, consider the image of Byzantium in Kireevsky and some thinkers of his social circle. It allows me to trace the most important lines of attitudes to Byzantium in the Russian historiosophical literature and opinion journalism of the nineteenth century. I detect (...) two opposite lines in perceiving Byzantium in Kireevsky’s early social circle: the anti- and pro-Byzantine ones. The first line goes back to an anti-Byzantine message, characteristic of the epoch of Enlightenment. It found its manifestation in G. W. F. Hegel’s Lectures on the Philosophy of History. I point to the traces of the implicit polemics with Hegel’s anti-byzantinism in Kireevsky and identify the context of these polemics in Arist Kunick. As well, I outline how these lines worked in Pyotr Chaadaev and Alexander Pushkin. Then I distinguish between how the image of Byzantium was presented, first, in Kireevsky’s earlier Slavophile article “On the Character of Enlightenment in Europe” and, second, in his last article “On the Necessity and Possibility of the new Foundations for Philosophy” (1856). In the latter article, which sees Byzantium as bipolar, I find another view on Byzantium. I suggest that this view on Byzantium as a bipolar entity goes back to Alexey Khomyakov’s Semiramis. My point is that this difference in the views on Byzantium is paradigmatic and it reflects a division that was present in the Russian Slavophile-conservative milieu of that time. I suggest that this division stands behind another division within the same milieu, which was politically oriented, the one in relation to the Greek-Bulgarian ecclesiastical question. I analyze how both monopolar (Byzantinocentric) and bipolar views on Byzantium were reflected in the Greek-Bulgarian question as it was considered by Alexey Khomyakov and Terty Filippov. I find a context for developing Kireevsky’s attitude towards Byzantium in François Guizot’s historiosophic scheme as well. (shrink)

The fact that modern artists are turning toward science and the latest technologies—robotics, information technology, biomedicine—forces us to reformulate our concept of art. One need only imagine...

To explain evaluation we need to take into account the perspective of an evaluator, we need to turn to phenomenological approach in moral theory. This is the approach proposed by John McDowell. According to him, we need to approach to the question ‘How to live right?’ via the concept of a virtuous person. To lendsupport to his views McDowell employs Wittgensteinean philosophy that could be a good basis for establishing moral phenomenology as a metaethical approach to moral phenomena. First of (...) all, introducing the notion of language-game we can provide a metaethical explanation of moral terms referring to roles they play in certain language-games. From this point of view there is no difference between moral terms and other terms. But understanding a language-game not just as a model of a certain kind of behavior formed by external observer, but as a form of life we can capture moral phenomena form within. The language-game considered as the form of life allows us to discern certain phenomena as moral ones. That is why trying to answer the question about right livingfrom the virtuous person perspective we should be involved in a language game that carves moral phenomena from the brute stuff of the world and forms a certain kind of sensitivity in us to these properties. Wittgensteinean philosophy also allows us to answer the question: how can mere knowledge of situation make us behave? Following Wittgensteinean ideas, we can present moral knowledge as something uncodifiable, which is exhibited in our everyday life, in our way of living and ‘going on doing the same thing’. It is impossible to understand this knowledge from the external point of view. To see how this knowledge can motivate someone, we need to capture the way the person appreciates a particular situation. (shrink)

Independent social life of the "Thaw” period is less examined then dissidents' resistance of the 1970s or mass public actions of Perestroika years. Analysis of the 1950-1960s protest actions allows us to trace changes in independent political projects in post-Stalin USSR. Unsolved social and economic problems, state unwillingness to listen for voices from below, repressions against dissenters stimulated the rejection of the idea to reform Soviet socialism among the part of critical intelligentsia. The disillusion in socialist ideas was not only (...) the reaction on state policy. It was also based on the redefining of the legacy of October revolution 1917 and reforms of the State socialism in Eastern Europe in the mid1950s, which were interpreted as the realization of revolutionary state governance. Dissenters of 19501960s formulated their demands to contemporary political regime using accessible classical Marxist-Leninist works and fictional biographies of revolutionaries. Usage of the legacy of the October in their texts varied from copying the revolutionary rhetoric to the testifying of Soviet political regime's compliance to the initial revolutionary theory. Many of them saw the main problem of Soviet state in the forgetting of the principle of proletarian dictatorship. The idea about party nomenclature as the main beneficiary of the October revolution was quite similar to the theory of «New Class» by M. Djilas. The book of Yugoslavian philosopher offered Marxist analysis of transformation of Yugoslavian political regime. He insisted on the inevitability of bureaucratic degradation of the revolutionary government. Acknowledgment of that inevitability did not only undermine political legitimacy of the contemporary Soviet regime but also took away the chance to justify it by appellation to its historical roots. That process stimulated the search for un-socialist alternatives for the Soviet regime such as the ideology of human rights or struggle for national sovereignty. (shrink)

A groundbreaking, revisionist account of the importance of the history of philosophy to intellectual change - scientific, philosophical and religious - in seventeenth-century England.

I need hardly say – but shall do so anyway – that is an extraordinary honour to have my work discussed by four scholars whom I have for so long admired. My gratitude to them for their comments on m...

The increased attention of the Orthodox Church to issues of medical education in our country was the result of the fact that in the 1990s it once again became one of the most active forces in our society. The connection between the church and the medical community, which goes back to a time when the doctoring of the mind and bodily health was in fact the work of the same people, cannot leave the church indifferent to the professional formation of (...) healthcare workers. The Soviet era saw the forced de-Christianization of the medical profession and measures taken to abolish medical ethics rooted in the Hippocratic Oath and the Gospel commandments. The restoration of dialogue between church and medicine began after the collapse of the Soviet state, but it is still insufficiently regular. Currently, factors complicating this dialogue are liberal medical legislation and capitalist economies in health care. The former, by legalizing abortion, artificial insemination, and sterilization, absolves the doctor of moral responsibility in matters concerning the management of human life; the latter encourages him to view his profession not as a service, but as a means of making money from other people’s suffering. If the dialogue between church and medicine were to be carried on permanently within the walls of medical schools, it would strengthen the spiritual and moral foundations of the medical profession, upon which it has always existed. One of the most significant forms of this dialogue should undoubtedly be the teaching of biomedical ethics, which should be grounded in modern theology and the values of traditional spiritual cultures of Russia. (shrink)

We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.

Ambiguity affects decisions of people who exhibit a distaste of and require a premium for dealing with it. Do ambiguity-neutral subjects completely disregard ambiguity and react to any vague news? Online vending platforms often attempt to affect buyer’s decisions by messages like “20 people are looking at this item right now” or “The average score based on 567 reviews is 7.9/10”. We augment the two-color Ellsberg experiment with similarly worded signals about the unknown probability of success. All decision-makers, including ambiguity-neutral, (...) recognize and account for ambiguity; ambiguity-neutral subjects are less likely to respond to vague signals. The difference between decisions of ambiguity-neutral and non-neutral subjects vanishes for high precision signals; still less than 60% subjects choose the ambiguous urn, even for high communicated probabilities of success. We conjecture participants may discard information, if they see no contradiction between it and their prior beliefs, hence the latter are not updated. Higher confidence makes subjects more likely to discard the news, and empirically ambiguity-neutral subjects appear more confident than those ambiguity-averse. (shrink)

The paper deals with the need for new methods in foreign language teaching to students of non-linguistic universities. The article presents a strategy to optimize the foreign language lesson. As an example an algorithm with authentic technical text in German is considered. It makes possible to change the work with foreign language text. It is proposed to substitute the standard tasks to the practice-oriented, which purpose is to teach students to understand the text.

In this article, we link Russia’s discourse on traditional values with the global culture wars by showing that the Russian traditional values discourse owes much of its content and strategic formulation to the global culture wars. Going back much further than the recent elaborations of the Kremlin, we look at the origins of debates about public values inside Russia from the period of the perestroika, when Russian actors were socialized into the reality of culture wars by Western activists approaching post-soviet (...) societies with a missionary zeal. The article reconstructs the emergence of the discourse of traditional values inside Russia and points out its hybrid nature as a mix of notions about Russian culture, religion and history and Western Christian Right ideas. Based on documents, literature and qualitative empirical research with moral conservative actors in and outside Russia, we show that the traditional values around which Russia’s leadership has built its anti-Western national security doctrine actually mirrors the global dynamics of the culture wars. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.