{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:23Z","timestamp":1755220943369,"version":"3.43.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1004948116720","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"129-141","source":"Crossref","is-referenced-by-count":16,"title":["Fuzzy Logic and Arithmetical Hierarchy, II"],"prefix":"10.1007","volume":"58","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126260_CR1","volume-title":"Mehrwertige Logik","author":"S. Gottwald","year":"1988","unstructured":"Gottwald, S., 1988, Mehrwertige Logik, Akademie-Verlag, Berlin."},{"key":"126260_CR2","unstructured":"H\u00c1jek, P., 'Fuzzy logic and arithmetical hierarchy', Fuzzy Sets and Systems, (to appear)."},{"key":"126260_CR3","unstructured":"H\u00c1jek, P., 'Fuzzy logic as logic', In: Mathematical Models of Handling Partial Knowledge in Artificial Intelligence, Erice, Italy, (to appear), G. Coletti et al., Eds., Pergamon Press."},{"key":"126260_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00396907","volume":"46","author":"V. Nov\u00c1k","year":"1987","unstructured":"Nov\u00c1k, V., 1987, 'First-order fuzzy logic', Studia Logica\n46, 87-109.","journal-title":"Studia Logica"},{"key":"126260_CR5","first-page":"47","volume":"2","author":"V. Nov\u00c1k","year":"1990","unstructured":"Nov\u00c1k, V., 1990, 'On the syntactico-semantical completeness of first-order fuzzy logic I, II', Kybernetika\n2, 47-26, 134\u2013152.","journal-title":"Kybernetika"},{"key":"126260_CR6","unstructured":"Nov\u00c1k, V., 1990, 'Fuzzy logic revisited', In: EUFIT'94, Aachen."},{"key":"126260_CR7","unstructured":"Nov\u00c1k, V., 1995, 'A new proof of completeness of fuzzy logic and some conclusions for approximate reasoning', In: Proc. of IFES'95, Yokohama."},{"key":"126260_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J., 1979, 'On fuzzy logic I, II, III', Zeitschr. f. math. Logik und Grundl. der Math.\n25, 45-52, 119\u2013134, 447\u2013464.","journal-title":"Zeitschr. f. math. Logik und Grundl. der Math."},{"key":"126260_CR9","unstructured":"Rogers, H.,Jr., 1967, Theory of recursive functions and effective computability. McGraw-Hill."},{"key":"126260_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose, A., and J. B. Rosser, 1958, 'Fragments of many-valued statement calculi', Trans. A.M.S.\n87, 1-53.","journal-title":"Trans. A.M.S."},{"key":"126260_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B. Scarpellini","year":"1962","unstructured":"Scarpellini, B., 1962, 'Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von \u0141ukasiewicz', Journ. Symb. Log.\n27, 159-170.","journal-title":"Journ. Symb. Log."},{"key":"126260_CR12","doi-asserted-by":"crossref","unstructured":"Takeuti, A., and S. Titani, 1992, 'Fuzzy logic and fuzzy set theory', Arch. Math. Logic\n32.","DOI":"10.1007\/BF01270392"},{"key":"126260_CR13","volume-title":"Arithmetische Klassifikation von Formelnmengen der unendlich-wertigen Logik","author":"M. Ragaz","year":"1981","unstructured":"Ragaz, M., 1981, 'Arithmetische Klassifikation von Formelnmengen der unendlich-wertigen Logik', Thesis, ETH Z\u00fcrich."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004948116720.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004948116720\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004948116720.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:17:56Z","timestamp":1754630276000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004948116720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126260"],"URL":"https:\/\/doi.org\/10.1023\/a:1004948116720","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}