Results for 'Vladimir Vladimir Rybakov'

963 found
Order:
  1.  76
    Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  2.  74
    Logics with the universal modality and admissible consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
    In this paper1 we study admissible consecutions in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  44
    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   6 citations  
  4.  35
    Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
    We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  41
    On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
    Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
    An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  7.  31
    Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  22
    Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
    The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe all tabular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  40
    Refined common knowledge logics or logics of common information.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (2):179-200.
    In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and give dividing examples. Also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  42
    Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
    The paper studies Barwise's information frames and answers the John Barwise question: to find axiomatizations for the modal logics generated by information frames. We find axiomatic systems for (i) the modal logic of all complete information frames, (ii) the logic of all sound and complete information frames, (iii) the logic of all hereditary and complete information frames, (iv) the logic of all complete, sound and hereditary information frames, and (v) the logic of all consistent and complete information frames. The notion (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  39
    Decidability: theorems and admissible rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):293-308.
    The paper deals with a temporal multi-agent logic TMAZ, which imitates taking of decisions based on agents' access to knowledge by their interaction. The interaction is modelled by possible communication channels between agents in special temporal Kripke/Hintikka-like models. The logic TMAZ distinguishes local and global decisions-making. TMAZ is based on temporal Kripke/Hintikka models with agents' accessibility relations defined on states of all possible time clusters C(i) (where indexes i range over all integer numbers Z). The main result provides a decision (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  50
    Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
    This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  28
    Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
    We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  19
    Logics of schemes for first-order theories and poly-modal propositional logic.Vladimir V. Rybakov - 1997 - In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 93--106.
  15.  52
    Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
    We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  31
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  37
    A necessary condition for rules to be admissible in temporal tomorrow-logic.M. I. Golovanov, Vladimir V. Rybakov & E. M. Yurasova - 2003 - Bulletin of the Section of Logic 32 (4):213-220.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  34
    An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
    The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in order to achieve the expressive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  30
    Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov - 2015 - Logica Universalis 9 (1):93-120.
    Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  26
    Combining time and knowledge, semantic approach.Erica Calardo & Vladimir V. Rybakov - 2005 - Bulletin of the Section of Logic 34 (1):13-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  14
    Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  17
    Prince Volodymyr and Islam.R. Djabarov - 2013 - Ukrainian Religious Studies 65:240-246.
    We know that Prince Volodymyr as Saint of Russia was eventually canonized and proclaimed the saintly saint of God. And in regard to its connection with the Muslim religion, then the domestic authorities from the historical science - such as Karamzin, Tatishchev, Kostomarov, Solovyov, Hrushevsky, Grekov, Tolochko, and even Rybakov and even Gumilev - did not have significant differences. None of them doubted the historical truthfulness of centuries of "trodden" theory of Vladimir's choice of the Great State religion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Lying to others, lying to yourself, and literal self-deception.Vladimir Krstić - 2023 - Inquiry: An Interdisciplinary Journal of Philosophy.
    This paper examines the connection between lies, deception, and self-deception. Understanding this connection is important because the consensus is that you cannot deceive yourself by lying since you cannot make yourself believe as true a proposition you already believe is false – and, as a liar, you must assert a proposition you believe is false. My solution involves refining our analysis of lying: people can lie by asserting what they confidently believe is true. Thus, self-deceivers need not replace one belief (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. On the function of self‐deception.Vladimir Krstić - 2021 - European Journal of Philosophy 29 (4):846-863.
    Self-deception makes best sense as a self-defensive mechanism by which the self protects itself from painful reality. Hence, we typically imagine self-deceivers as people who cause themselves to believe as true what they want to be true. Some self-deceivers, however, end up believing what they do not want to be true. Their behaviour can be explained on the hypothesis that the function of this behaviour is protecting the agent's perceived focal benefit at the cost of inflicting short-term harm, which is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
    We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  26. A Functional Analysis of Human Deception.Vladimir Krstić - 2024 - Journal of the American Philosophical Association 10 (4):836-854.
    A satisfactory analysis of human deception must rule out cases where it is a mistake or an accident that person B was misled by person A's behavior. Therefore, most scholars think that deceivers must intend to deceive. This article argues that there is a better solution: rather than appealing to the deceiver's intentions, we should appeal to the function of their behavior. After all, animals and plants engage in deception, and most of them are not capable of forming intentions. Accordingly, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  21
    Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
  28.  95
    A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
    We prove, in ZFC,the existence of a definable, countably saturated elementary extension of the reals.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  29. Fearful apes or nervous goats? Another look at functions of dispositions or traits.Vladimir Krstić - 2023 - Behavioral and Brain Sciences 46:e68.
    In his article, Grossmann argues that, in the context of human cooperative caregiving, heightened fearfulness in children and human sensitivity to fear in others are adaptive traits. I offer and briefly defend a rival hypothesis: Heightened fearfulness among infants and young children is a maladaptive trait that did not get deselected in the process of evolution because human sensitivity to fear in others mitigates its disadvantageous effects to a sufficient extent.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  26
    Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.
  31.  11
    Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic.Vladimir Kanovei & Vassily Lyubetsky - forthcoming - Studia Logica:1-16.
    The parameter-free part $$\textbf{PA}_2^*$$ of $$\textbf{PA}_2$$, second order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $$\omega $$ -model of $$\textbf{PA}_2^*+ \textbf{CA}(\Sigma ^1_2)$$, in which an example of the full Comprehension schema $$\textbf{CA}$$ fails. Using Cohen’s forcing, we also define an $$\omega $$ -model of $$\textbf{PA}_2^*$$, in which not every set has its complement, and hence the full $$\textbf{CA}$$ fails in a rather elementary way.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  35
    Scientific Realism from a Polysystemic View of Physical Theories and their Functioning.Alexander M. Gabovich & Vladimir Kuznetsov - 2023 - Global Philosophy 33 (6):1-18.
    One of the vividly discussed topics in the contemporary philosophy of science (especially physics) is the opposition between realism and Anti-Realism. The supporters of the first way of thinking trust in the objective existence of realities studied by science. They consider theories as approximate descriptions of these realities (Psillos 1999, xvii), whereas their opponents do not. However, both sides base their argumentation on simplified notions of scientific theories. In this paper, we present a more general approach, which can be coined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Sľuby a procedúry (The Promises and Procedures).Vladimír Marko - 2019 - Filozofia 74 (9):735-753.
    The work tends to point out the deficiency of some opinions claiming simplified presentation of the promise as the act that directly rise obligation for the promisor. Promises, either in the moral or legal sphere, are based on communication and so form an order of dependent steps that indicates their procedural nature. These characteristics may differ to a lesser extent, depending on the legal systems, moral norms of the society and its technical level and its needs. In all these cases, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Manipulation, deception, the victim’s reasoning and her evidence.Vladimir Krstić - 2024 - Analysis 84 (2):267-275.
    This paper rejects an argument defending the view that the boundary between deception and manipulation is such that some manipulations intended to cause false beliefs count as non-deceptive. On the strongest version of this argument, if a specific behaviour involves compromising the victim’s reasoning, then the behaviour is manipulative but not deceptive, and if it involves exposing the victim to misleading evidence that justifies her false belief, then it is deceptive but not manipulative. This argument has been consistently used as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  10
    Influence of violent contexts on facial reactions elicited by angry and neutral faces.Nerea Aldunate, Vladimir López, Mauricio Barramuño & Germán Gálvez-García - 2020 - Cognition and Emotion 34 (7):1524-1531.
    This study focuses on determining whether violent contexts influence the perception of aggressiveness in faces analysing spontaneous corrugator supercilii activity. Participants viewed pictures of...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  69
    An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
    We prove that in the Solovay model, every OD equivalence relation, E, over the reals, either admits an OD reduction to the equality relation on the set of all countable (of length $ ) binary sequences, or continuously embeds E 0 , the Vitali equivalence. If E is a Σ 1 1 (resp. Σ 1 2 ) relation then the reduction above can be chosen in the class of all ▵ 1 (resp. ▵ 2 ) functions. The proofs are based (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37. (3 other versions)Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.
    In this article we show how the universe of BST, bounded set theory can be enlarged by definable subclasses of sets so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur. Thus BST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  21
    Philosophy, Governance and Law in the System of Social Action: Moral and Instrumental Problems of Genetic Research.Vladimir I. Przhilenskiy & Пржиленский Владимир Игоревич - 2024 - RUDN Journal of Philosophy 28 (1):244-259.
    The research analyzes the process of formation of the ethics committee as a new institution in the system of regulation of genetic research. The external factors of this process are the increasing digitalization of medical and research practices, as well as the special situation that is developing in the field of genomic research and the use of genetic technologies, where issues of philosophy, jurisprudence and administration have generated many fundamentally new, and sometimes unexpected contexts. The author shows the similarity and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    La musique et l'ineffable.Vladimir Jankélévitch - 1983 - A. Colin.
    Qu'est-ce que la musique? Selon Jankélévitch, il y a dans la musique une double complication, génératrice de problèmes métaphysiques et de problèmes moraux. Car la musique est à la fois expressive et inexpressive, sérieuse et frivole, profonde et superficielle ; elle a un sens et n'en a pas. Il y a une ironique disproportion entre la puissance incantatoire de la musique et l'inévidence foncière du beau musical.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  11
    Ordinea universală în sistemele naturale.Vladimir Iacovlev - 2016 - Chișinău: [Publisher Not Identified]. Edited by Alexandru Gherasi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Philosophy of science in Ukraine.Vladimir Kuznetsov - 2023 - In HPS&ST Newsletter April. pp. 4-12.
    Philosophy of Science; Ukraine; Polysytemic nature of theories; Practical theories; Subsystems of a theory.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  18
    A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings.Vladimir Kanovei & Vassily Lyubetsky - 2024 - Annals of Pure and Applied Logic 175 (6):103426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  16
    Social Factors in the Digital Government Formation in Russia.Vladimir Petrovich, Natalia Gennadievna & Yury Aleksandrovich - 2020 - Postmodern Openings 11 (2supl1):317-326.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    Interactive Learning Means in Higher Education for Physical Education and Sport.Vladimir Potop, Victor Manolachi & Aibol Kulbaev - 2020 - Postmodern Openings 11 (2):113-119.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  21
    Narrative Redemption: A Commentary of McGregor's Narrative Justice.Vladimir Rizov - 2020 - Journal of Aesthetic Education 54 (4):26-35.
    Rafe McGregor's Narrative Justice provides a powerful argument for the merit of an education by and through aesthetics as a way of challenging criminal inhumanity. As a work at the intersection of critical criminology and philosophy, it is a challenging and thoughtful articulation of the criminological imagination.1 Ultimately, McGregor's argument highlights the possibility of a political education through aesthetic engagement. The exemplary narratives that McGregor uses are varied and richly evocative. My commentary on the book is in keeping with this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  13
    Methodological Aspects of the Problem of Personality in the Period of Greek Classics.Vladimir V. Starovoytov - 2020 - Russian Journal of Philosophical Sciences 63 (7):129-149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. A nonstandard set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.
    . We demonstrate that a comprehensive nonstandard set theory can be developed in the standard $\displaystyle{\in}$ -language. As an illustration, a nonstandard ${\sf Law of Large Numbers}$ is obtained.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  14
    Сommunicative Discourse of Tattvasaṅgrāha by Śāntarakṣita.Vladimir P. Ivanov & Иванов Владимир Павлович - 2024 - RUDN Journal of Philosophy 28 (1):57-68.
    The study provides an insight into the structural features of the famous VIII century Buddhist treatise Tattvasaṅgrāha by Śāntarakṣita with regard to the text’s main purpose ( prayojana ) as it is treated in Kamalaśīla’s commentary Pañjikā. Any text along with its referential (representational) function of conveying message - meaning to the addressee, or its expressive function, reflecting the author's attitude to what is communicated, also performs the ‘appellative’ function, encouraging the recipient of the message to act. This function which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. "Zhe xue bi ji" zhu shi.Nansen Huang & Vladimir Ilʹich Lenin (eds.) - 1981 - [Peking]: Beijing da xue chu ban she.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  23
    Georges Florovsky and St. Justin Popović: brothers in arms for the Neopatristic synthesis.Vladimir Cvetković - 2025 - Studies in East European Thought 77 (1):101-116.
    The aim of this paper is to offer an overview of the long-lasting friendship between Georges Florovsky and St. Justin Popović, as well as their common project to build an Orthodox theological synthesis on the basis of the patristic tradition. The paper focuses on three periods from Florovsky’s and Popović’s lives, from late 1910 to early 1920, from the late 1920s to late 1930s, and finally into the 1940s. I argue that in the first period both authors developed their theological (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 963