Results for 'Vladimir N. Krupski'

997 found
Order:
  1.  13
    The Single-Conclusion Proof Logic and Inference Rules Specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
    The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Is Research on Postmodernism Still Relevant? Thoughts on a Book by the Italian Philosopher A. Poma.Vladimir N. Belov - 2018 - Kantian Journal 37 (3):97-102.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. Russian Neo-Kantianism: An External Perspective.Vladimir N. Belov & Tatyana V. Salnikova - 2018 - Kantian Journal 37 (2):90-95.
  4.  1
    Paneth Cells: Maintaining Dynamic Microbiome‐Host Homeostasis, Protecting Against Inflammation and Cancer.Vladimir N. Nikolenko, Marine V. Oganesyan, Maria V. Sankova, Kirill V. Bulygin, Andzhela D. Vovkogon, Negoriya A. Rizaeva & Mikhail Y. Sinelnikov - 2021 - Bioessays 43 (3):2000180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  36
    Islamic Shamanism Among Central Asian Peoples.Vladimir N. Basilov - 1992 - Diogenes 40 (158):5-18.
  6.  16
    What Is Two Times Two? Or When the Obvious Is Anything But in Dostoevsky's Poetics.Vladimir N. Zakharov - 2011 - Russian Studies in Philosophy 50 (3):24-33.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Complete Chemical Synthesis, Assembly, and Cloning of a Mycoplasma Genitalium Genome.Daniel Gibson, Benders G., A. Gwynedd, Cynthia Andrews-Pfannkoch, Evgeniya Denisova, Baden-Tillson A., Zaveri Holly, Stockwell Jayshree, B. Timothy, Anushka Brownley, David Thomas, Algire W., A. Mikkel, Chuck Merryman, Lei Young, Vladimir Noskov, Glass N., I. John, J. Craig Venter, Clyde Hutchison, Smith A. & O. Hamilton - 2008 - Science 319 (5867):1215--1220.
    We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   30 citations  
  8.  36
    Close Encounters of the Third Kind: Disordered Domains and the Interactions of Proteins.Peter Tompa, Monika Fuxreiter, Christopher J. Oldfield, Istvan Simon, A. Keith Dunker & Vladimir N. Uversky - 2009 - Bioessays 31 (3):328-335.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  13
    La bureaucratie rationnelle et la crise de la culture.Vladimir N. Porous - 2013 - Revue Philosophique de la France Et de l'Etranger 138 (2):203-214.
    Для Макса Вебера «рациональная бюрократия» есть идеальный тип организации общества. Однако идеальный тип не позволяет заполнить провал между властью и обществом, который называется отчуждением. Это - миф, и когда Макс Вебер говорит о рациональности, то в основе этого лежат не требования научности, но отсылка к некоей культурной аксиологии. Этот миф можно критиковать, анализируя конкретное поведение бюрократов, обычно мало рациональное, но также ставя под вопрос и саму культуру, которая хочет быть или даже претендует быть рационалистической. В России чудовищность бюрократии является следствием (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  12
    Vladimir N. Cvetkovic: Polis I Filozofija - Anticka Filozofija I Njen Istorijsko-Politicki Horizont, Sluzbeni List SRJ, Beograd, 2002.Jovan Arandjelovic - 2002 - Filozofija I Društvo 2002 (19):387-392.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  9
    Hermann Cohen in the History of Russian Neo-Kantianism.N. Belov Vladimir - 2016 - Russian Studies in Philosophy 54 (5):395-407.
    The article brings to light the idea that Russian Neo-Kantians were among the first in the history of European philosophy to recognize the significance and originality of Hermann Cohen’s philosophical system. In particular, they identified two related points that revealed the ingenuity of the great Marburg thinker: the creation of a new philosophical system and the synthesis of Kant and Hegel within that system. The article also discusses the particular focus on the part of Russian philosophers at the turn of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  4
    The Transcendental Synthesis of World Models in Intellectual Systems.Vladimir N. Bryushinkin - 2013 - In Margit Ruffing, Claudio La Rocca, Alfredo Ferrarin & Stefano Bacin (eds.), Kant Und Die Philosophie in Weltbürgerlicher Absicht: Akten des Xi. Kant-Kongresses 2010. De Gruyter. pp. 691-702.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  15
    Deformed Entropy and Information Relations for Composite and Noncomposite Systems.Vladimir N. Chernega, Olga V. Man’ko & Vladimir I. Man’ko - 2015 - Foundations of Physics 45 (7):783-798.
    The notion of conditional entropy is extended to noncomposite systems. The \-deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki–Lieb inequality is found for systems without subsystems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  9
    Descartes' Moral Philosophy.Vladimir N. Cvetković - 1996 - Theoria 39 (4):155-172.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  22
    Građansko društvo kao građanski rat-Rajnhart Kozelek: Kritika i kriza, Plato, Beograd 1997.Vladimir N. Cvetković - 1997 - Theoria 40 (2):123-128.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  11
    Ishodišta Brige o Duši-Jan Patočka: Evropa I Postevropsko Doba, Centar Za Geopoetiku, Beograd, 1995.Vladimir N. Cvetković - 1996 - Theoria 39 (1):91-96.
  17.  14
    Mile Savić: Vanredno stanje.Vladimir N. Cvetković - 1999 - Filozofija I Društvo 1999 (16):9-9.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  12
    O (zlo) upotrebi pojma slobode.Vladimir N. Cvetković - 1994 - Theoria 37 (1):51-66.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  20
    Transcendentalne Osnove Filozofije Komunikacije-Jezička Pragmatika Kao Rehabilitacija Uma,(Miroslav Milović: Refleksivni Argument. O Mogućnosti Filozofije Komunikacije. Filozofsko Društvo Srbije, Beograd. [REVIEW]Vladimir N. Cvetković - 1991 - Theoria 34 (2):121-130.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. A Discovery in Moscow: An Unpublished Treatise on Gunpowder (1720) by a Member of the Paris Academie des Sciences.Vladimir N. Malov - 1998 - Revue d'Histoire des Sciences 51 (1):145-150.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  7
    Découvert À Moscou: Le Traité Inédit d'Un Académicien des Sciences de Paris Sur les Poudres (1720)/A Discovery in Moscow: An Unpublished Treatise on Gunpowder (1720) by a Member of the Paris Académie des Sciences. [REVIEW]Vladimir N. Malov - 1998 - Revue d'Histoire des Sciences 51 (1):145-150.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  4
    A Never-Ending Dispute Over Morality.Vladimir N. Porus - 2017 - Russian Studies in Philosophy 55 (5):320-335.
    Leo Tolstoy’s Moralism is a call for the purification of moral universals as the foundations of culture, in which there is no contradiction between the values of an individual life and the values of the social “world.” A “moralist preacher” must fulfill two main requirements. First, he must personally fulfill the principles of his teaching. Second, he must be absolutely sure that he speaks on behalf of the truth he knows. Otherwise, his preaching will be deceptive and will serve the (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    A Superfluous Man.Vladimir N. Porus - 2016 - Russian Studies in Philosophy 54 (2):113-128.
    The article considers a fundamental contradiction between a hypertrophied desire to freely pursue one's goals and the insuperability of fate that is inherent in Mikhail Lermontov's novel Hero of Our Time [Geroi nashego vremeni] in which the drive for “freedom” precipitates meaningless rebellion. The collision between thought and the vital impulse causes the identity of the hero to split: thought turns out to be fruitless and life hopeless. This contradiction is symptomatic of cultural degeneration, and of the transformation of cultural (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Essence and Freedom: Andrei Platonov’s Anthropological Intuitions.Vladimir N. Porus - 2020 - Russian Studies in Philosophy 58 (3):200-213.
    Contemporary philosophical anthropology fluctuates between, on the one hand, the positivist rejection of the metaphysically loaded concepts of “essence” and “existence” in their theoretical constru...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  11
    Nikolai Berdyaev on the “Spirits of the Russian Revolution”.Vladimir N. Porus - 2017 - Russian Studies in Philosophy 55 (3-4):210-226.
    This article analyzes Nikolai Berdyaev’s ideas concerning the spiritual origins of the 1917 Russian revolution. The philosopher believed that its sources were “demons” living in the Russian national spirit, discovered and awakened in the works of the Russian classics, such as Nikolai Gogol, Fyodor Dostoyevsky, and Leo Tolstoy. The main reason these demons were able to take hold of the Russian national consciousness was the collapse of everyday life, and the false orientation of this consciousness toward a violent establishment of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. On the Candlemas of the Symbol and the Reality.Vladimir N. Porus - 2020 - Russian Journal of Philosophical Sciences 63 (7):60-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Reply.Vladimir N. Porus - 2014 - Studies in East European Thought 66 (3-4):303-304.
  28.  3
    The Life of Klim Samgin. Maxim Gorky’s Last Will and Testament.Vladimir N. Porus - 2019 - Russian Studies in Philosophy 57 (5):398-414.
    This article attempts to “decipher” Maxim Gorky’s hidden intentions in his novel The Life of Klim Samgin, which he considered his message to future generations. Samgin is a “mannequin,” a parody of...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  1
    The Essay About Professor Dubrovsky, Dedicated to the 90 Th Anniversary of His Birth.Vladimir N. Shevchenko - 2020 - Russian Journal of Philosophical Sciences 62 (12):140-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    The Historical Experience of Socialist China and K. Marx’s Theory of Economic Formations.Vladimir N. Shevchenko - 2020 - Russian Journal of Philosophical Sciences 62 (12):7-34.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  8
    Data Storage Interpretation of Labeled Modal Logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.
    We introduce reference structures — a basic mathematical model of a data organization capable of storing and utilizing information about its addresses. A propositional labeled modal language is used as a specification and programming language for reference structures; the satisfiability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given formula. Corresponding labeled modal logics are presented, supplied with cut free axiomatizations, completeness and decidability theorems are proved. Initialization of typed variables in some programming (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  2
    The “Synthetic” Image of Jesus Christ in F.M. Dostoevsky’s Works and Its Origins in German Romantic Natural Philosophy.Igor I. Evlampiev & Vladimir N. Smirnov - 2020 - Russian Journal of Philosophical Sciences 63 (5):87-106.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  13
    Volja za novo-Vladimir N. Cvetković: Volja za novo-O genealogiji modernosti, Institut za političke studije, Beograd, 1995.Predrag Krstić - 1996 - Theoria 39 (1):87-90.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  11
    BioEssays 3/2009.Peter Tompa, Monika Fuxreiter, Christopher J. Oldfield, Istvan Simon, A. Keith Dunker & Vladimir N. Uversky - 2009 - Bioessays 31 (3):NA-NA.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  10
    Artificial Neural Network Classification of Motor-Related EEG: An Increase in Classification Accuracy by Reducing Signal Complexity.Vladimir A. Maksimenko, Semen A. Kurkin, Elena N. Pitsik, Vyacheslav Yu Musatov, Anastasia E. Runnova, Tatyana Yu Efremova, Alexander E. Hramov & Alexander N. Pisarchik - 2018 - Complexity 2018:1-10.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  18
    Health in All Policies: Addressing the Legal and Policy Foundations of Health Impact Assessment.Benjamin R. Rajotte, Catherine L. Ross, Chinyere O. Ekechi & Vladimir N. Cadet - 2011 - Journal of Law, Medicine and Ethics 39 (s1):27-29.
    The concept of Health in All Policies aims to improve the health outcomes associated with policies in an attempt to mitigate health disparities and provide optimal environments for healthier living. This multidisciplinary framework seeks to improve health through effective assessment and reformation of policy for organizations of any level and stature. The importance of integrating health in policy assessment and decision making is a key concept in the growing field of Health Impact Assessment.The World Health Organization defines Health Impact Assessment (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    Health in All Policies: Addressing the Legal and Policy Foundations of Health Impact Assessment.Benjamin R. Rajotte, Catherine L. Ross, Chinyere O. Ekechi & Vladimir N. Cadet - 2011 - Journal of Law, Medicine and Ethics 39 (s1):27-29.
    The concept of Health in All Policies aims to improve the health outcomes associated with policies in an attempt to mitigate health disparities and provide optimal environments for healthier living. This multidisciplinary framework seeks to improve health through effective assessment and reformation of policy for organizations of any level and stature. The importance of integrating health in policy assessment and decision making is a key concept in the growing field of Health Impact Assessment.The World Health Organization defines Health Impact Assessment (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  52
    A New Axiomatization of Jaśkowski's Discussive Logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
    In 1995 N. C. A. da Costa and F. Doria proposed the modaltype elegant axiomatization of Jaśkowski’s discussive logic D2. Yet his ownproblem which was formulated in 1975 in a following way: Is it possible toformulate natural and simple axiomatization for D2, employing classical disjunction and conjunction along with discussive implication and conjunctionas the only primitive connectives? — still seems left open. The matter of factis there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski, J. Kotas and N. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  1
    N. Hartmann and V. Sesemann. The Preface to the Translation of N. Hartmann’s Review “on Wilhelm Sesemann. 1933”.Vladimir Belov - 2019 - HORIZON. Studies in Phenomenology 8 (1):311-317.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Kirin Vladimir G.. On the Polynomial Representation of Operators in the N-Valued Propositional Calculus. Glasnik Matematičko-Fizički I Astronomski , Ser. 2 Vol. 18 , Pp. 3–12. [REVIEW]R. L. Graham - 1972 - Journal of Symbolic Logic 37 (4):756-756.
  41.  5
    Review: Vladimir G. Kirin, On the Polynomial Representation of Operators in the $N$-Valued Propositional Calculus. [REVIEW]R. L. Graham - 1972 - Journal of Symbolic Logic 37 (4):756-756.
  42.  41
    « N'écoutez pas ce qu'ils disent, regardez ce qu'ils font ».Vladimir Jankélévitch - 1959 - Revue de Métaphysique et de Morale 64 (2):161 - 162.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  6
    Archaeologia Mundi: Persia II.J. N. & Vladimir G. Lukonin - 1968 - Journal of the American Oriental Society 88 (2):362.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  48
    Hyperlinear and Sofic Groups: A Brief Guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
    This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroups of metric ultraproducts of families of, respectively, unitary groups U (n) and symmetric groups $S_{n},\ n\in {\Bbb N}$ . Hyperlinear groups come from theory of operator algebras (Connes' Embedding Problem), while sofic groups, introduced by Gromov, are motivated by a problem of symbolic dynamics (Gottschalk's Surjunctivity Conjecture). Open questions are numerous, in particular (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  80
    A Version of the Jensen–Johnsbråten Coding at Arbitrary Level N≥ 3.Vladimir Kanovei - 2001 - Archive for Mathematical Logic 40 (8):615-628.
    We generalize, on higher projective levels, a construction of “incompatible” generic Δ1 3 real singletons given by Jensen and Johnsbråten.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46.  26
    Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
    The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Voluntary and Involuntary Attention in Bistable Visual Perception: A MEG Study.Parth Chholak, Vladimir A. Maksimenko, Alexander E. Hramov & Alexander N. Pisarchik - 2020 - Frontiers in Human Neuroscience 14.
    In this study, voluntary and involuntary visual attention focused on different interpretations of a bistable image, were investigated using magnetoencephalography. A Necker cube with sinusoidally modulated pixels' intensity in the front and rear faces with frequencies 6.67 Hz and 8.57 Hz, respectively, was presented to 12 healthy volunteers, who interpreted the cube as either left- or right-oriented. The tags of these frequencies and their second harmonics were identified in the average Fourier spectra of the MEG data recorded from the visual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  2
    Feedback-Related Negativity and Frontal Midline Theta Reflect Dissociable Processing of Reinforcement.Eric Rawls, Vladimir Miskovic, Shannin N. Moody, Yoojin Lee, Elizabeth A. Shirtcliff & Connie Lamm - 2020 - Frontiers in Human Neuroscience 13.
  49.  12
    What Does the Transmitted Image of a Human Face Tell an Observer About Personality Traits?Vladimir Barabanschikov - 2010 - Social Science Information 49 (3):465-488.
    We experimentally examine the question of how adequately a person’s individual psychological characteristics can be perceived using the expression of his/her face as the basis of assessment. The research method is based on comparison between participants’ personality traits and the beholder’s assessment of individual psychological characteristics of his partner in communication on the basis of the expression of his facial image, either whole or fragmented. Assessment of personality traits was carried out on the basis of R. B. Cattell’s 16-transformed scales. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  23
    The Concept of the Individual in the Ethics of Vladimir Solovyov.A. N. Golubev - 1978 - Russian Studies in Philosophy 17 (3):44-65.
    Any more or less serious attempt to deal with even one aspect of the complex and generally still inadequately studied philosophical system of so outstanding a thinker as the famous Russian idealist philosopher Vladimir Sergeevich Solovyov necessarily requires preliminary consideration and evaluation of the philosophic significance of his work as a whole.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 997