9 found
Order:
Disambiguations
Dmitry Zaitsev [8]Dmitry V. Zaitsev [1]
See also
Dmitry Zaitsev
Lomonosov Moscow State University
  1.  8
    First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
    We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  31
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  10
    Bi-Facial Truth: A Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  7
    A Few More Useful 8-Valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  1
    The Fmla-Fmla Axiomatizations of the Exactly True and Non-Falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - forthcoming - Journal of Philosophical Logic:1-22.
    In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Rational Agency From a Truth-Functional Perspective.Ekaterina Kubyshkina & Dmitry V. Zaitsev - 2016 - Logic and Logical Philosophy 25 (4):499-520.
    The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a Logical Approach to Qualitative Reasoning With'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  8.  2
    Relevant Generalization Starts Here (and Here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.
    There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9. Imaginary Logic-2: Formal Reconstruction of the Unnoticed Nikolai Vasiliev's Logical System.Vladimir Markin & Dmitry Zaitsev - 2002 - Logique Et Analyse 45 (178):39-54.
     
    Export citation  
     
    Bookmark