Switch to: References

Add citations

You must login to add citations.
  1. Characterization of prime numbers in łukasiewicz's logical matrix.Alexander S. Karpenko - 1989 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.
    The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.
    Download  
     
    Export citation  
     
    Bookmark   2 citations