{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:56Z","timestamp":1755220976244,"version":"3.43.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"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":[[2001,6]]},"DOI":"10.1023\/a:1011958407631","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T06:29:09Z","timestamp":1040624949000},"page":"143-152","source":"Crossref","is-referenced-by-count":34,"title":["Three Complexity Problems in Quantified Fuzzy Logic"],"prefix":"10.1007","volume":"68","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"381860_CR1","doi-asserted-by":"crossref","unstructured":"M. Baaz, 'Infinite-valued G\u00f6del logics with 0-1 projections and relativizations', G\u00d6DEL'96-Logical foundations of mathematics, computer science and physics, Lecture Notes in Logic 6 (1996), P. H\u00e1jek ( ed.), Springer Verlag, pp. 23-33.","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"381860_CR2","unstructured":"R. Cignoli, F. Esteva, L. Godo, A. Torrens, 'Basic fuzzy logic is the logic of continuous t-norms and their residua', to appear in Soft Computing."},{"key":"381860_CR3","doi-asserted-by":"crossref","unstructured":"R. Cignoli, D. Mundici, I.M.L. D'Ottaviano, Algebraic Foundations of Many-Valued Reasoning, Kluwer 2000.","DOI":"10.1007\/978-94-015-9480-6"},{"key":"381860_CR4","doi-asserted-by":"crossref","unstructured":"P. H\u00c1jek, Metamathematics of Fuzzy Logic, Kluwer, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"381860_CR5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0165-0114(94)00299-M","volume":"73","author":"P. H\u00c1jek","year":"1995","unstructured":"P. H\u00c1jek, 'Fuzzy logic and arithmetical hierarchy', Fuzzy Sets and Systems 73 (1995), 359-363.","journal-title":"Fuzzy Sets and Systems"},{"key":"381860_CR6","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1004948116720","volume":"58","author":"P. H\u00c1jek","year":"1997","unstructured":"P. H\u00c1jek, 'Fuzzy logic and arithmetical hierarchy II', Studia Logica 58 (1997), 129-141.","journal-title":"Studia Logica"},{"key":"381860_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1011906423560","volume":"68","author":"P. H\u00c1jek","year":"2001","unstructured":"P. H\u00c1jek, 'Fuzzy logic and arithmetical hierarchy III', Studia Logica 68 (2001), 129-142.","journal-title":"Studia Logica"},{"key":"381860_CR8","unstructured":"M. E. Ragaz, Arithmetische Klassification von Formelnmenge der unendlichwertigen Logik, ETH Z\u00fcrich, (1981) Thesis."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011958407631.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011958407631\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011958407631.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:31:39Z","timestamp":1754631099000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011958407631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["381860"],"URL":"https:\/\/doi.org\/10.1023\/a:1011958407631","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}