{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:00:28Z","timestamp":1648897228491},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,12,1]],"date-time":"1989-12-01T00:00:00Z","timestamp":628473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1989,12]]},"DOI":"10.1007\/bf00370201","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:56:22Z","timestamp":1099421782000},"page":"465-478","source":"Crossref","is-referenced-by-count":2,"title":["Characterization of prime numbers in ?ukasiewicz's logical matrix"],"prefix":"10.1007","volume":"48","author":[{"given":"Alexander S.","family":"Karpenko","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"R. Ayoub, An Introduction to the Analytic Theory of Numbers, Providence, 1963."},{"key":"CR2","first-page":"238","volume-title":"Researches on Mathematical Linguistics, Mathematical Logic and Information Languages","author":"D. A. Bochvar","year":"1972","unstructured":"D. A. Bochvar and V. K. Finn, On many-valued logics that permit the formalization of analysis of antinomies, I, in: D. A. Bochvar (ed.), Researches on Mathematical Linguistics, Mathematical Logic and Information Languages, ?Nauka?, Moscow, 1972, pp. 238?295 (in Russian)."},{"issue":"No. 3","key":"CR3","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2964286","volume":"23","author":"T. Evans","year":"1958","unstructured":"T. Evans and R. Schwartz, On S?upecki T-functions, The Journal of Symbolic Logic 23 (1958), No. 3, pp. 267?270.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR4","first-page":"35","volume":"10","author":"V. K. Finn","year":"1969","unstructured":"V. K. Finn, The precompleteness of a class of functions that correspond to the three-valued logic of J. ?ukasiewicz, Nauchno-Tehnicheskaya Informacia (VINITI), Ser. 2, 10 (1969), pp. 35?38 (in Russian) (Mathematical Review: 44 3841).","journal-title":"Nauchno-Tehnicheskaya Informacia (VINITI)"},{"key":"CR5","unstructured":"V. K. Finn, Some remarks on non-Postian logics, in: Vth International Congress for Logic, Methodology and Philosophy of Science. Contributed Papers. Section 1, London, Ontario, Canada, 1975, pp. 9?10."},{"issue":"No. 1","key":"CR6","first-page":"22","volume":"12","author":"H. Gupta","year":"1981","unstructured":"H. Gupta, Euler's totient function and its inverse, Indian Journal of Pure and Applied Mathematics 12 (1981), No. 1, pp. 22?30.","journal-title":"Indian Journal of Pure and Applied Mathematics"},{"issue":"No. 3","key":"CR7","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1305\/ndjfl\/1093883177","volume":"21","author":"H. E. Hendry","year":"1980","unstructured":"H. E. Hendry, Functional completeness and non-?ukasiewiczian truth functions, Notre Dame Journal of Formal Logic 21 (1980), No. 3, pp. 536?538.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"No. 1","key":"CR8","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1305\/ndjfl\/1093870229","volume":"23","author":"H. E. Hendry","year":"1983","unstructured":"H. E. Hendry, Minimally incomplete sets of ?ukasiewiczian truth functions, ibid. 23 (1983), No. 1, pp. 146?150.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR9","first-page":"92","volume-title":"International Symposium on Multiple-Valued Logic","author":"H. G. Herzberger","year":"1977","unstructured":"H. G. Herzberger, Tertium without plenum, in: International Symposium on Multiple-Valued Logic, 7th, IEEE publ., N.J., 1977, pp. 92?94."},{"key":"CR10","first-page":"5","volume":"51","author":"S. V. Jablonski","year":"1958","unstructured":"S. V. Jablonski, Functional constructions in k-valued logics, Studies of V.A. Steklov Mathematical Institute 51 (1958), pp. 5?142 (in Russian).","journal-title":"Studies of V.A. Steklov Mathematical Institute"},{"key":"CR11","unstructured":"A. S. Karpenko, Characteristic matrix for prime numbers, in: The Sixth All-Union Conference on Mathematical Logic, Abstract, Tbilisi, 1982, p. 76 (in Russian)."},{"key":"CR12","unstructured":"A. S. Karpenko, Characterization of prime numbers by ?ukasiewicz's many-valued logics, Bulletin of the Section of Logic, Institute of Philosophy and Sociology of Polish Academy of Sciences 13 (1984), No. 2, pp. 64?68."},{"key":"CR13","unstructured":"A. S. Karpenko, A hypothesis on the finitness of graphs for ?ukasiewicz's precomplete logics (graphs for prime numbers), ibid. 15 (1986), No. 3, pp. 102?108."},{"key":"CR14","unstructured":"J. ?ukasiewicz, On three-valued logic, in: L. Borkowski (ed.), J. ?ukasiewicz, Selected Works, Warszawa, 1970, pp. 87?88."},{"key":"CR15","unstructured":"J. ?ukasiewicz, A numerical interpretation of theory of propositions, ibid., pp. 129?130."},{"key":"CR16","unstructured":"J. ?ukasiewicz and A. Tarski, Investigations into the sentential calculus, ibid., pp. 131?152."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1090\/S0002-9904-1936-06440-2","volume":"42","author":"J. C. C. McKinsey","year":"1936","unstructured":"J. C. C. McKinsey, On the generation of the functions Cpq and Np of ?ukasiewicz and Tarski by means of a single binary operation, Bull. of the Amer. Math. Soc. 42 (1936), pp. 849?851.","journal-title":"Bull. of the Amer. Math. Soc."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"R. McNaughton, A theorem about infinite valued sentential logic, The Journal of Symbolic Logic 16 (1951), pp. 1?13.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF02124626","volume":"23","author":"T. Prucnal","year":"1969","unstructured":"T. Prucnal, Kryterium definiowalno?ci funkcji w matrycach ?ukasiewicza, Studio Logica 23 (1969), pp. 71?77.","journal-title":"Studio Logica"},{"key":"CR20","unstructured":"J. B. Rosser and A. R. Turquette, Many-Valued Logics, Amsterdam, 1952."},{"key":"CR21","first-page":"9","volume":"29","author":"J. S?upecki","year":"1936","unstructured":"J. S?upecki, Der volle dreiwertige Aussagenkalk\ufffdl, Comptes Rendus des S\ufffdances de la Soci\ufffdt\ufffd des Sciences et des Lettres de Varsovie, Classe III, 29 (1936), pp. 9?11.","journal-title":"Comptes Rendus des S\ufffdances de la Soci\ufffdt\ufffd des Sciences et des Lettres de Varsovie, Classe III"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02123418","volume":"21","author":"J. S?upecki","year":"1967","unstructured":"J. S?upecki, G. Bryll and T. Prucnal, Some remarks on three-valued logic of J. ?ukasiewicz, Studia Logica 21 (1967), pp. 45?70.","journal-title":"Studia Logica"},{"key":"CR23","first-page":"177","volume-title":"Philosophy and Logic","author":"J. S?upecki","year":"1974","unstructured":"J. S?upecki, Some remarks on many-valued logics of Jan ?ukasiewicz, in: P. V. Tavanec and V. A. Smirnov (eds.), Philosophy and Logic, ?Nauka?, Moscow, 1974, pp. 177?187 (in Russian)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370201.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370201\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:03Z","timestamp":1554759843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF00370201"],"URL":"https:\/\/doi.org\/10.1007\/bf00370201","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}