{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T20:27:19Z","timestamp":1676665639475},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,4,1]]},"DOI":"10.1093\/logcom\/exp052","type":"journal-article","created":{"date-parts":[[2009,9,18]],"date-time":"2009-09-18T04:00:01Z","timestamp":1253246401000},"page":"399-424","source":"Crossref","is-referenced-by-count":5,"title":["Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics"],"prefix":"10.1093","volume":"20","author":[{"given":"F.","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2009,9,17]]},"reference":[{"key":"1_35601377","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-662-21963-8_2","volume":"6","year":"1996","journal-title":"LECTURE NOTES IN LOGIC"},{"key":"4_26937529","first-page":"456","volume":"88","year":"1958","journal-title":"TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"5_27588505","first-page":"453","volume":"12","year":"2002","journal-title":"NEURAL NETWORK WORLD"},{"key":"6_35601378","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","volume":"160","year":"2009","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"issue":"2","key":"7_31713726","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1093\/logcom\/exn052","volume":"19","year":"2009","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"9_35601379","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1002\/malq.200510032","volume":"52","year":"2006","journal-title":"MATHEMATICAL LOGIC QUARTERLY"},{"key":"10_26937533","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","year":"1959","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"11_31383211","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","volume":"158","year":"2007","journal-title":"Fuzzy Sets and Systems","ISSN":"http:\/\/id.crossref.org\/issn\/0165-0114","issn-type":"print"},{"key":"12_26937514","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","year":"2001","journal-title":"Fuzzy Sets and Systems","ISSN":"http:\/\/id.crossref.org\/issn\/0165-0114","issn-type":"print"},{"key":"13_26937535","first-page":"531","volume":"13","year":"2003","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"14_26937536","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","year":"2000","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"15_28295537","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","year":"2001","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"16_31383212","first-page":"9","volume":"12","year":"2006","journal-title":"JOURNAL OF MULTIPLEVALUED LOGIC AND SOFT COMPUTING"},{"key":"18_35601380","doi-asserted-by":"crossref","first-page":"3125","DOI":"10.1016\/j.fss.2006.06.016","volume":"157","year":"2006","journal-title":"Fuzzy Sets and Systems","ISSN":"http:\/\/id.crossref.org\/issn\/0165-0114","issn-type":"print"},{"key":"19_35601381","first-page":"65","volume":"69","year":"1932","journal-title":"ANZEIGER AKADEMIE DER WISSENSCHAFTEN WIEN MATH NATURWISS KLASSE"},{"key":"21_26937543","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1011906423560","volume":"68","year":"2001","journal-title":"STUDIA LOGICA"},{"key":"22_27588504","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0165-0114(02)00057-X","volume":"132","year":"2002","journal-title":"Fuzzy Sets and Systems","ISSN":"http:\/\/id.crossref.org\/issn\/0165-0114","issn-type":"print"},{"issue":"4","key":"23_20351196","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1093\/logcom\/13.4.469","volume":"13","author":"Hajek","year":"2003","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"25_34278543","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1007\/s00500-004-0448-6","volume":"9","year":"2005","journal-title":"SOFT COMPUTING"},{"key":"26_35601382","first-page":"335","volume":"12","year":"2008","journal-title":"SOFT COMPUTING"},{"key":"28_35601383","doi-asserted-by":"crossref","first-page":"863","DOI":"10.2178\/jsl\/1154698581","volume":"71","year":"2006","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"29_26937544","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","year":"1996","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"30_35601384","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/malq.200710058","volume":"54","year":"2008","journal-title":"MATHEMATICAL LOGIC QUARTERLY"},{"key":"31_35601385","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","volume":"43","year":"2004","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"32_26937547","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","year":"2002","journal-title":"STUDIA LOGICA"},{"key":"33_35601386","first-page":"1","volume":"23","year":"1930","journal-title":"COMPTES RENDUS DE LA SOCIETE DES SCIENCES ET DES LETTRES DE VARSOVIE"},{"key":"34_31383224","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","year":"2007","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"36_26937549","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1011958407631","volume":"68","year":"2001","journal-title":"STUDIA LOGICA"},{"key":"37_35601387","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s00153-004-0231-5","volume":"44","year":"2005","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"38_34326079","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s00012-005-1923-3","volume":"53","year":"2005","journal-title":"ALGEBRA UNIVERSALIS"},{"issue":"4","key":"39_22416144","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","year":"2006","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"40_26937551","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1016500922708","volume":"71","year":"2002","journal-title":"STUDIA LOGICA"},{"key":"41_35172776","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","year":"2008","journal-title":"MATHEMATICAL LOGIC QUARTERLY"},{"issue":"2","key":"44_21871104","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1093\/logcom\/exi075","volume":"16","author":"Savicky","year":"2006","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"45_24794208","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","year":"1965","journal-title":"INFORMATION CONTROL"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/2\/399\/2757064\/exp052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T13:12:27Z","timestamp":1550927547000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,17]]},"references-count":35,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2010,3,19]]},"published-print":{"date-parts":[[2010,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp052","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,17]]}}}