6 found
Order:
Disambiguations
Yaroslav Petrukhin [7]Yaroslav I. Petrukhin [1]
See also
Yaroslav Petrukhin
Moscow State University
Yaroslav Petrukhin
Moscow State University
  1.  5
    Natural Deduction for Post’s Logics and Their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1-2):83-100.
    In this paper, we introduce the notion of dual Post’s negation and an infinite class of Dual Post’s finitely-valued logics which differ from Post’s ones with respect to the definitions of negation and the sets of designated truth values. We present adequate natural deduction systems for all Post’s k-valued ) logics as well as for all Dual Post’s k-valued logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Automated Proof-Searching for Strong Kleene Logic and its Binary Extensions Via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  3
    Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
    Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.
    In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  1
    On Vidal's Trivalent Explanations for Defective Conditional in Mathematics.Yaroslav Petrukhin & Vasily Shangin - forthcoming - Journal of Applied Non-Classical Logics:1-14.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
    In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with one (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation