13 found
Order:
  1.  10
    Lukasiewicz's Logics and Prime Numbers.A. S. Karpenko - 2006 - Beckington, England: Luniver Press.
    Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truth-functional approach to examine functional properties of finite-valued Łukasiewicz logics Łn+1. Prime numbers are defined in algebraic-logical terms and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. Finite-valued logics Kn+1 are specified that they have (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  46
    Paraconsistent structure inside of many-valued logic.A. S. Karpenko - 1986 - Synthese 66 (1):63 - 69.
  3.  35
    Factor semantics forn-valued logics.A. S. Karpenko - 1983 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. BCKX is the axiomatization of the implicational fragment of Łukasiewicz's infinite-valued logic Łω.A. S. Karpenko & V. M. Popov - 1997 - Bulletin of the Section of Logic 26:112-117.
  5. Fatalizm i sluchaĭnostʹ budushchego--logicheskiĭ analiz.A. S. Karpenko - 1990 - Moskva: Nauka.
     
    Export citation  
     
    Bookmark  
  6. Mnogoznachnye logiki.A. S. Karpenko - 1997 - Moskva: Nauka.
     
    Export citation  
     
    Bookmark   1 citation  
  7.  48
    V.A. Smirnov’s Results in the Field of Modern Formal Logic.A. S. Karpenko - 2000 - Studia Logica 66 (2):227-252.
    This paper is a survey of V.A. Smirnovs main results in modern logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Logicheskie issledovanii︠a︡: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1983 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  9. Modalʹnye i intensionalʹnye logiki i ikh primenenie k problemam metodologii nauki.V. A. Smirnov, A. S. Karpenko, E. A. Sidorenko & Institut Filosofii Sssr) (eds.) - 1984 - Moskva: Izd-vo "Nauka".
    No categories
     
    Export citation  
     
    Bookmark  
  10. Mnogoznachnye, relevantnye i paraneprotivorechivye logiki: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1984 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  11. Neklassicheskie logiki i propozit︠s︡ionalʹnye ustanovki: trudy Nauchno-issledovatelʹskiĭ seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov, A. S. Karpenko & P. I. Bystrov (eds.) - 1987 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Neklassicheskie logiki: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1985 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  13. Nestandartnye semantiki neklassicheskikh logik: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1986 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark