Results for 'Dmitry Bushtets'

396 found
Order:
  1.  3
    Computably and punctually universal spaces.Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov & Keng Meng Ng - 2025 - Annals of Pure and Applied Logic 176 (1):103491.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Chapter Twelve Translation of Values through Art: Non-Classical Value Approach Dmitry A. Leontiev.Dmitry A. Leontiev - 2007 - In Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and innovation. Newcastle, UK: Cambridge Scholars Press. pp. 227.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Chapter Thirteen Individual and Professional Differences in the Perception of Dramatic Art Dmitry A. Leontiev and Larissa Lagoutina.Dmitry A. Leontiev - 2007 - In Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and innovation. Newcastle, UK: Cambridge Scholars Press. pp. 241.
     
    Export citation  
     
    Bookmark  
  4.  5
    Neuropsychoanalysis and Its Conceptual Problems.Dmitry Uzlaner - 2020 - Sociology of Power 32 (2):48-72.
    This article is devoted to a critical analysis of neuropsychoanalysis, an interdisciplinary field that emerged at the end of the 20th century and set itself the task of combining neuroscience with the psychoanalytic approach. The author draws attention to the conceptual gaps of this ambitious undertaking. The main gap is argued to be the insufficient attention paid to the psychophysical problem (or mind-body problem), which ends up overlooking the fundamental difference between brain and psychic / mental reality, and attempts to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    Ribosomal protein uS3 in cell biology and human disease: Latest insights and prospects.Dmitri Graifer & Galina Karpova - 2020 - Bioessays 42 (12):2000124.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  35
    Current Anthropological Paradigm and “Anthropological Turning” of Engineering Education.Dmitry Kuznetsov & Gennady Popov - 2008 - Proceedings of the Xxii World Congress of Philosophy 37:151-160.
    By the end of the 20th century educational issues had become of global character due to the fact, that it is education that makes the basis for the social dimensions of the 21st century. The importance of educational issues can be explained by the post-industrial society being oriented at rising the significance of information and knowledge as being the main resources for the society development, at the priority of intellectual activities, resulting in changing the roleand place of education in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    The Laughing Philosopher: The Affectionate Laughter of Agnes Heller.Dmitri Nikulin - 2021 - The Philosophy of Humor Yearbook 2 (1):149-162.
    This paper is a critical interpretation of the role of laughter in the work of Agnes Heller. Following the distinction between innate affect and culturally conditioned emotion, Heller argues that laughter is an affect that comes as the expressive reaction to the hiatus between the social and the natural. As such, laughter is ubiquitous and yet remains ultimately undefinable, because it signifies the unbridgeable gap between the two worlds that we inhabit at the same time. Laughter thus sonorously presents our (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  71
    A few more useful 8-valued logics for reasoning with tetralattice eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  9.  28
    Emerging small molecule inhibitors of Bach1 as therapeutic agents: Rationale, recent advances, and future perspectives.Dmitry M. Hushpulian, Navneet Ammal Kaidery, Debashis Dutta, Sudarshana M. Sharma, Irina Gazaryan & Bobby Thomas - 2024 - Bioessays 46 (1):2300176.
    The transcription factor Nrf2 is the master regulator of cellular stress response, facilitating the expression of cytoprotective genes, including those responsible for drug detoxification, immunomodulation, and iron metabolism. FDA‐approved Nrf2 activators, Tecfidera and Skyclarys for patients with multiple sclerosis and Friedreich's ataxia, respectively, are non‐specific alkylating agents exerting side effects. Nrf2 is under feedback regulation through its target gene, transcriptional repressor Bach1. Specifically, in Parkinson's disease and other neurodegenerative diseases with Bach1 dysregulation, excessive Bach1 accumulation interferes with Nrf2 activation. Bach1 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  28
    Mapping Ethnic Stereotypes and Their Antecedents in Russia: The Stereotype Content Model.Dmitry Grigoryev, Susan T. Fiske & Anastasia Batkhina - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  48
    The pluralistic public sphere from an ontological point of view.Dmitri Ginev - 2003 - Critical Horizons 4 (1):75-97.
    This paper attempts to provide a rationale for a 'model of the public sphere' in terms of hermeneutic ontology that begins from Heidegger's Being and Time. However, this Heideggerian hermeneutic ontology will both be weakened and extended through a dialogue with social theory, which occupies a central place in this paper. More specifically, the main aim of this paper is to suggest some ideas to bridge the gap between the ontological focus on the hermeneutic fore-structure of being-in-the-public-sphere and the focus (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  50
    Dialectic and Dialogue.Dmitri Nikulin - 2010 - Stanford, Calif.: Stanford University Press.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  42
    A Resilience Toolbox and Research Design for Black Sky Hazards to Power Grids.Dmitry Borisoglebsky & Liz Varga - 2019 - Complexity 2019:1-15.
    A structured collection of tools for engineering resilience and a research approach to improve the resilience of a power grid are described in this paper. The collection is organized by a two-dimensional array formed from typologies of power grid components and business processes. These two dimensions provide physical and operational outlooks, respectively, for a power grid. The approach for resilience research is based on building a simulation model of a power grid which utilizes a resilience assessment equation to assess baseline (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  20
    Ontological aspects of the contradictions of artificial intelligence.Dmitry Victorovich Gluzdov - 2021 - Kant 38 (1):98-101.
    This article is devoted to discussion of the philosophical aspects of the problems associated with the creation of a strong artificial intelligence. It is noted that even taking into account the fact that the study of the brain and consciousness are represented by separate areas, such as cognitive neuroscience and philosophy of consciousness, there are a number of problems of an ontological nature, which indicate that research in the field of creating systems with artificial intelligence, although actively developing, is rather (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Prospects for Overcoming the Contradictions of the Development of Artificial Intelligence.Dmitry Viktorovich Gluzdov - forthcoming - Philosophy and Culture (Russian Journal).
    The subject of this study is a set of alleged contradictions in the development of artificial intelligence, pursued in order to achieve their overcoming. Philosophical anthropology contains the potential to analyze complex interactions, to articulate the problems that arise between artificial intelligence and humans. The philosophical and anthropological analysis of artificial intelligence is aimed at understanding this human phenomenon, human presence and its experience. The article is an attempt to identify and outline the trajectories for the possible resolution of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  20
    Conception and Philosophy of Science.Dmitry M. Koshlakov & Alexander I. Shvyrkov - 2020 - Epistemology and Philosophy of Science 57 (2):124-141.
    The authors try to show that even Wittgensteinian definition of concept is not always sufficient to analyze what really happens in science. As a result, in addition to “concept” we propose “conception” as a new promising tool for philosophy of science. We provide a brief historical analysis of this term and reveal two main interpretations of “conception” in philosophy and scientific disciplines. In accordance with the first view, conception appears as either a “twin” of the concept, or a pair entity (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  25
    Devitrification behaviour of Cu-Zr-Ti-Pd bulk glassy alloys.Dmitri V. Louzguine, Alain Reza Yavari & Akihisa Inoue - 2003 - Philosophical Magazine 83 (26):2989-3003.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    The Promise of the Beautiful.Dmitri Nikulin - 2015 - Revue Internationale de Philosophie 273 (3):289-301.
    The paper discusses the concept of the beautiful based on Agnes Heller’s philosophical genealogy of beauty in Plato, Plotinus, Kant, Hegel, Nietzsche and Benjamin. For Heller, experience of the beautiful begins as heterogeneous (anything can be beautiful) and negative (with the realization that this is not beautiful but something else is). The demise of the beautiful, then, comes with the establishment and self-affirmation of the modern subject, whose claim to universality and rational autonomy entails the rejection of the everyday lived (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    La influencia de la escolástica española en la filosofía rusa de la primera mitad del siglo XVIII.Dmitry Shmonin - 2003 - Cuadernos Salmantinos de Filosofía 30:111-118.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  7
    “They Seem to Exist, but Mostly Virtually so Far”: Representations of Diasporas on Migrant Digital Communication Platforms.Dmitry Timoshkin - 2022 - Sociology of Power 34 (3):227-246.
    The article examines the representations of the "diaspora” in texts published on "migrant” digital communication platforms. With the help of discourse analysis The messages posted in open access in thematic groups in VKontakte, Odnoklassniki, and Telegram channels were studied. The purpose of the study was to find out what meanings and functions the users of these sites give the word "diasporas”. The "Diaspora” was considered as a nodal point, uniting the narratives of people visiting "migrant” sites into a single framework. (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  53
    The Postmodern Posture.Dmitry Khanin - 1990 - Philosophy and Literature 14 (2):239-247.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  11
    Beyond the Nation-State: The Zionist Political Imagination From Pinsker to Ben-Gurion.Dmitry Shumsky - 2018 - Yale University Press.
    _A revisionist account of Zionist history, challenging the inevitability of a one-state solution, from a bold, path-breaking young scholar_ The Jewish nation-state has often been thought of as Zionism’s end goal. In this bracing history of the idea of the Jewish state in modern Zionism, from its beginnings in the late nineteenth century until the establishment of the state of Israel, Dmitry Shumsky challenges this deeply rooted assumption. In doing so, he complicates the narrative of the Zionist quest for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  19
    Stripe formation in the early fly embryo: principles, models, and networks.Dmitri Papatsenko - 2009 - Bioessays 31 (11):1172-1180.
    Early development of animal embryos begins from spatially distributed products of gene expression, i.e., gradients. While maternal and early zygotic genes form broad and/or terminal gradients, their direct targets appear later on as relatively narrow stripes, which foreshadow presumptive germ layers or future segments. Evidently, stripe expression of the zygotic genes is among the key mechanisms of embryo patterning. In this paper, known qualitative and quantitative models for the stripe formation are considered on the example of early embryogenesis of Drosophila. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  27
    John Spencer's De legibus Hebraeorum(1683–85) and 'Enlightened' Sacred History: A New Interpretation.Dmitri Levitin - 2013 - Journal of the Warburg and Courtauld Institutes 76 (1):49-92.
  25.  30
    Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
    We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  17
    Ahmed İbn Hanbel’in Müsned’inde Yönetici Ve Toplum.Dmitri Vladimiroviç Yermakkov & Çev Kudret Artikbaev - 2014 - Dini Araştırmalar 17 (45):188-193.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  20
    Rome: Socio-political Evolution in the 8th–2nd Centuries BC.Dmitri V. Dozhdev - 2004 - In Leonid Grinin, Robert Carneiro, Dmitri Bondarenko, Nikolay Kradin & Andrey Korotayev (eds.), The Early State, Its Alternatives and Analogues. ‘Uchitel’ Publishing House. pp. 388--418.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  16
    Republicanism, Sinophilia, and historical writing: Thomas Gordon and his “History of England”.Dmitri Levitin - 2014 - Intellectual History Review 24 (4):561-563.
  29.  10
    Atlantida--Evropa: taĭna Zapada.Dmitry Sergeyevich Merezhkovsky & Vladimir Dmitrievich ëtìsybin - 1930 - Moskva: "Russkai︠a︡ kniga". Edited by Vladimir Dmitrievich T︠S︡ybin.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. L'Atlantide.Dmitry Sergeyevich Merezhkovsky - 1941 - Milano,: U. Hoepli. Edited by Rinaldo Küfferle.
     
    Export citation  
     
    Bookmark  
  31.  36
    Dialogue versus Discourse.Dmitri Nikulin - 2005 - Graduate Faculty Philosophy Journal 26 (1):89-105.
    The notion of dialogue occurs frequently in current debates. Yet it is often used too broadly. Rather than as a proper concept, it is sometimes unintentionally applied in an ambiguous manner, whereas at other times it is used deliberately to mean that which is plurivocal. Dialogue is one of those passwords that everyone takes to be a “good thing,” even if it is understood very differently from what it is. When such a term is used so loosely and in many (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32. The gods and demons of Dostoevsky and Nietzsche.Dmitri Nikulin - 2016 - In Jeff Love & Jeffrey Metzger (eds.), Nietzsche and Dostoevsky: philosophy, morality, tragedy. Evanston, Illinois: Northwestern University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  22
    High pressure torsion to refine grains in pure aluminum up to saturation: mechanisms of structure evolution and their dependence on strain.Dmitry Orlov, Naoya Kamikawa & Nobuhiro Tsuji - 2012 - Philosophical Magazine 92 (18):2329-2350.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Foreword.Dmitri Panchenko - 2011 - In Dirk L. Couprie (ed.), Heaven and Earth in ancient Greek cosmology: from Thales to Heraclides Ponticus. New York: Springer.
     
    Export citation  
     
    Bookmark  
  35. Modeli mira.Dmitriæi Aleksandrovich Pospelov, N. V. Chudova & Rossiæiskaëiìa Assoëtìsiaëtìsiëiìa Iskusstvennogo Intellekta (eds.) - 1997 - Moskva: Rossiĭskai︠a︡ assot︠s︡iat︠s︡ii︠a︡ iskusstvennogo intellekta.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  9
    Ecohumanistics as a kind of scientific knowledge and methodology for understanding the specifics of the relationship “human — technical and-technological world”.Dmitry Solomko - 2022 - Sotsium I Vlast 1:15-25.
    Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  14
    Generalised imaginaries and galois cohomology.Dmitry Sustretov - 2016 - Journal of Symbolic Logic 81 (3):917-935.
    The objective of this article is to characterise elimination of finite generalised imaginaries as defined in [9] in terms of group cohomology. As an application, I consider series of Zariski geometries constructed [10, 23, 24] by Hrushovski and Zilber and indicate how their nondefinability in algebraically closed fields is connected to eliminability of certain generalised imaginaries.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    The Concept of Pattern and the Communicative Bases of Bateson’s Anthropology.Dmitry Testov - 2016 - Epistemology and Philosophy of Science 49 (3):158-177.
    The article is devoted to the analysis of theoretical bases of G. Bateson's anthropology. The author focuses on the concept of pattern by tracing the origins of this concept in the Goethe's morphology, the Gestalt psychology, the Benedict's anthropology, the Cybernetics and the Communication theory. In the context of the Communication theory “pattern" appears as a synonym of the engineering term “redundancy" that makes possible to consider it as a necessary condition for anticipation of communication sequences and economy of description. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  34
    The tableau prover generator mettel2.Dmitry Tishkovsky, Renate A. Schmidt & Mohammad Khodadadi - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 492--495.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. La religion et les valeurs traditionnelles : La Russie dans les guerres culturelles transnationales.Dmitry Stoeckl Uzlaner - 2024 - ThéoRèmes 21 (21).
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Mezhdunarodnyi Aspekt Blizhnevostochnogo Terrorizma.Dmitry Gennadiyevich Yevstafyev & Vladimir Igorevich Chekalkin - 1991 - Polis 4:71-73.
     
    Export citation  
     
    Bookmark  
  42. Imagination and Mathematics in Proclus.Dmitri Nikulin - 2008 - Ancient Philosophy 28 (1):153-172.
  43. Critique of bored reason.Dmitri Nikulin - 2021 - New York: Columbia University Press.
    Most of the core concepts of the Western philosophical tradition originate in antiquity. Yet boredom is strikingly absent from classical thought. In this philosophical study, Dmitri Nikulin explores the concept's genealogy to argue that boredom is the mark of modernity. Nikulin contends that boredom is a specifically modern phenomenon. He provides a critical reconstruction of the concept of the modern subject as universal, rational, autonomous, and self-sufficient. Understanding itself in this way, this subject is at once the protagonist, playwright, director, (...)
    No categories
     
    Export citation  
     
    Bookmark  
  44.  41
    Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
    In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  31
    Nucleosomal anatomy – where are the histones?Dmitry Pruss, Jeffrey J. Hayes & Alan P. Wolffe - 1995 - Bioessays 17 (2):161-170.
    The recent surge of discoveries concerning the structural organization of nucleosomes, together with genetic evidence of highly specialized roles for the histones in gene regulation, have brought a renewed need for a detailed understanding of nucleosomal anatomy. Here we review recent structural advances leading to a new level of understanding of the nucleosome and chromatin fibre structure. We discuss the problems and challenges for existing models of chromatin structure and, in particular, consider how linker histones may bind within the nucleosome, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  36
    A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  29
    Return of Value in the New Era of Biomedical Research—One Size Will Not Fit All.Dmitry Khodyakov, Alexandra Mendoza-Graf, Sandra Berry, Camille Nebeker & Elizabeth Bromley - forthcoming - AJOB Empirical Bioethics:1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  28
    Thinking Environments: In-Formation and Entropy.Dmitry F. Testov - 2022 - Russian Studies in Philosophy 60 (3):231-243.
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  21
    Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
    We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  17
    Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 396