{"id":"https://openalex.org/W2026379568","doi":"https://doi.org/10.1093/logcom/exp052","title":"Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics","display_name":"Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics","publication_year":2009,"publication_date":"2009-09-17","ids":{"openalex":"https://openalex.org/W2026379568","doi":"https://doi.org/10.1093/logcom/exp052","mag":"2026379568"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp052","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp052","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036404155","display_name":"F. Montagna","orcid":"https://orcid.org/0009-0000-7092-7053"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Montagna","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy.E-mail: ;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy.E-mail: ;","institution_ids":["https://openalex.org/I102064193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038642668","display_name":"Carles Noguera","orcid":"https://orcid.org/0000-0003-4910-599X"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"C. Noguera","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy.E-mail: ;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy.E-mail: ;","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102064193"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.7359,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83910774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"20","issue":"2","first_page":"399","last_page":"424"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.5623915195465088},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.47931256890296936},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44668468832969666},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4416191577911377},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3947148621082306},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.35644227266311646},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2949109673500061},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.29266107082366943},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.21688705682754517},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2145799994468689},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.18904823064804077},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11712139844894409}],"concepts":[{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.5623915195465088},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.47931256890296936},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44668468832969666},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4416191577911377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3947148621082306},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.35644227266311646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2949109673500061},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.29266107082366943},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.21688705682754517},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2145799994468689},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.18904823064804077},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11712139844894409},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1093/logcom/exp052","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp052","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.612.2303","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.612.2303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.carlesnoguera.cat/files/ArithComplRatFin.pdf","raw_type":"text"},{"id":"pmh:oai:usiena-air.unisi.it:11365/7138","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/7138","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W607239742","https://openalex.org/W1496398693","https://openalex.org/W1504992749","https://openalex.org/W1511669762","https://openalex.org/W1516119557","https://openalex.org/W1580732237","https://openalex.org/W1591960753","https://openalex.org/W1976537120","https://openalex.org/W1982983300","https://openalex.org/W1983382657","https://openalex.org/W1989030813","https://openalex.org/W1993433997","https://openalex.org/W1997196510","https://openalex.org/W1997230328","https://openalex.org/W2004739217","https://openalex.org/W2011526622","https://openalex.org/W2012072427","https://openalex.org/W2017651183","https://openalex.org/W2018957484","https://openalex.org/W2024065710","https://openalex.org/W2025952124","https://openalex.org/W2038514749","https://openalex.org/W2043389664","https://openalex.org/W2052913890","https://openalex.org/W2071694554","https://openalex.org/W2075766128","https://openalex.org/W2081347729","https://openalex.org/W2091957209","https://openalex.org/W2092184248","https://openalex.org/W2096482476","https://openalex.org/W2097378477","https://openalex.org/W2103135708","https://openalex.org/W2110182592","https://openalex.org/W2112664318","https://openalex.org/W2119353490","https://openalex.org/W2123127290","https://openalex.org/W2138022794","https://openalex.org/W2158361713","https://openalex.org/W2397840847","https://openalex.org/W2912565176","https://openalex.org/W4211007335","https://openalex.org/W4232808478","https://openalex.org/W4250746159"],"related_works":["https://openalex.org/W2000071592","https://openalex.org/W1660676450","https://openalex.org/W1586473494","https://openalex.org/W2382181079","https://openalex.org/W2125955092","https://openalex.org/W2119550093","https://openalex.org/W582971654","https://openalex.org/W2861978802","https://openalex.org/W1989539286","https://openalex.org/W4302408721"],"abstract_inverted_index":{"All":[0],"promiment":[1],"examples":[2],"of":[3,15,19,22,36,43],"first-order":[4,44],"predicate":[5],"fuzzy":[6,48],"logics":[7,49],"are":[8],"undecidable.":[9],"This":[10,27],"leads":[11],"to":[12,32,54],"the":[13,16,33,41,68,83],"problem":[14],"arithmetical":[17,57,84],"complexity":[18,58],"their":[20],"sets":[21],"tautologies":[23],"and":[24,46,74,79,99],"satisfiable":[25],"sentences.":[26],"article":[28],"is":[29],"a":[30,51],"contribution":[31],"general":[34,62,89],"study":[35],"this":[37],"problem.":[38],"We":[39,60],"propose":[40],"classes":[42],"core":[45],"\u0394-core":[47],"as":[50],"good":[52],"framework":[53],"address":[55],"these":[56],"issues.":[59],"obtain":[61],"results":[63],"providing":[64],"lower":[65],"bounds":[66,78],"for":[67,86],"complexities":[69],"associated":[70],"with":[71],"arbitrary":[72],"semantics,":[73,96],"we":[75],"compute":[76],"upper":[77],"exact":[80],"positions":[81],"in":[82],"hierarchy":[85],"distinguished":[87],"semantics:":[88],"semantics":[90,98],"given":[91],"by":[92],"all":[93],"chains,":[94],"finite-chain":[95],"standard":[97],"rational":[100],"semantics.":[101]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-17T06:14:20.161405","created_date":"2025-10-10T00:00:00"}