Works by A. S. Karpenko ( view other items matching `A. S. Karpenko`, view all matches )

  1. A. S. Karpenko (2000). V.A. Smirnov's Results in the Field of Modern Formal Logic. Studia Logica 66 (2).
    This paper is a survey of V.A. Smirnovs main results in modern logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. A. S. Karpenko (1986). Paraconsistent Structure Inside of Many-Valued Logic. Synthese 66 (1):63 - 69.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
    In this note we prove that some familiar systems of finitely many-valued logics havefactor semantics, and establish necessary conditions for a system of many-valued logic having semantics of this kind.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation