9 found
Sort by:
  1. Alexander S. Karpenko (2014). Jaśkowski's Criterion and Three-Valued Paraconsistent Logics. Logic and Logical Philosophy 7:81.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Alexander S. Karpenko (2002). Atomic and Molecular Paraconsistent Logics. Logique Et Analyse 45 (178):31-37.
     
    My bibliography  
     
    Export citation  
  3. Alexander S. Karpenko (2000). The Classification of Propositional Calculi. Studia Logica 66 (2):253-271.
    We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Alexander S. Karpenko (2000). V. A. Smirnov (1931–1996): Work and Life. Studia Logica 66 (2):201-204.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Alexander S. Karpenko (1994). Sheffer's Stroke for Prime Numbers. Bulletin of the Section of Logic 23 (3).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Alexander S. Karpenko (1992). A Maximal Lattice of Implicational Logics'. Bulletin of the Section of Logic 27:29-32.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Alexander S. Karpenko (1989). Characterization of Prime Numbers in Łukasiewicz's Logical Matrix. Studia Logica 48 (4):465 - 478.
    In this paper we define n+1-valued matrix logic Kn+1 whose class of tautologies is non-empty iff n is a prime number. This result amounts to a new definition of a prime number. We prove that if n is prime, then the functional properties of Kn+1 are the same as those of ukasiewicz's n +1-valued matrix logic n+1. In an indirect way, the proof we provide reflects the complexity of the distribution of prime numbers in the natural series. Further, we introduce (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Alexander S. Karpenko (1988). Algebraic Structure of the Truth-Values for Lω. Bulletin of the Section of Logic 17 (3/4):127-133.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Alexander S. Karpenko (1986). 1. Preliminaries. Bulletin of the Section of Logic 15 (3):102-106.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation