Graduate studies at Western
Studia Logica 48 (4):465 - 478 (1989)
|Abstract||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 a generalization K n+1 * of Kn+1 such that the set of tautologies of Kn+1 is not empty iff n is of the form p , where p is prime and is natural. Also in this case we prove the equivalence of functional properties of the introduced logic and those of n+1. In the concluding part, we discuss briefly a partition of the natural series into equivalence classes such that each class contains exactly one prime number. We conjecture that for each prime number the corresponding equivalence class is finite.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare (2004). Bounding Prime Models. Journal of Symbolic Logic 69 (4):1117 - 1142.
Stuart T. Smith (1992). Prime Numbers and Factorization in IE1 and Weaker Systems. Journal of Symbolic Logic 57 (3):1057 - 1085.
Daniel Pitteloud (2001). Existence of Prime Elements in Rings of Generalized Power Series. Journal of Symbolic Logic 66 (3):1206-1216.
Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.
Paul Studtmann (2006). Prime Matter and Extension in Aristotle. Journal of Philosophical Research 31:171-184.
Stephen Pollard (2007). Mathematical Determinacy and the Transferability of Aboutness. Synthese 159 (1):83 - 98.
Added to index2009-01-28
Total downloads6 ( #154,770 of 727,097 )
Recent downloads (6 months)1 ( #61,087 of 727,097 )
How can I increase my downloads?