{“id”：“https://openalex.org/W91200808“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_16“，”title“：”On the Expression Power of IF-Logic with Classical Negation“，”display_name“：”On the Expressing Power of the IF-Logical with Classic Negation”，“publication_year”：2011，“publiction_date”：“2011-01-01”，“ids”：{“openalex”：“https://openalex.org/W91200808“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_16“，”mag“：”91200808“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_16“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://www.glyc.dc.uba.ar/santiago/papers/ifso.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5082992052“，”display_name“：”Santiago Figueira“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I24354313“，”display_name“：”布宜诺斯艾利斯大学“，”ror“：”https://ror.org/0081fs513“，”country_code“：”AR“，”type“：“教育”，”世系“：[”https://openalex.org/I24354313“]}，{”id“：”https://openalex.org/I151201029“，”display_name“：”Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas“，”ror“：”https://ror.org/03cqe8w59“，”country_code“：”AR“，”type“：“政府”，”世系“：[”https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568“]｝]，”countries“：[”AR“]，”is_corresponding“：false，”raw_author_name“：”Santiago Figueira“，”raw_affiation_string“：[”Dto.Computaci\u00f3n，FCEN，Universidad de Buenos Aires，Argentina and CONICET，Argentina#TAB#“]，”附属机构“：[｛”raw_affiation_string“：”日期至。Computaci\u00f3n，FCEN，阿根廷布宜诺斯艾利斯大学和CONICET，阿根廷#TAB#“，”institution_ids“：[”https://openalex.org/I24354313","https://openalex.org/I151201029“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5083233595“，”display_name“：”Daniel Gor\u00edn“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I24354313“，”display_name“：”布宜诺斯艾利斯大学“，”ror“：”https://ror.org/0081fs513“，”country_code“：”AR“，”type“：“教育”，”世系“：[”https://openalex.org/I24354313“]}]，”国家“：[”AR“]，”is_corresponding“：false，”raw_author_name“：”Daniel Gor\u00edn“，”raw _ afiliation_strings“：[“Dto.Computaci\u00f3n，FCEN，阿根廷布宜诺斯艾利斯大学”]，“affiliations”：[{“raw_affiliation_string”：“Dto.Computaci\u00f 3n，”FCEN，阿根廷尼亚布宜诺斯艾利斯大学“，”，“institution_ids”：[”https://openalex.org/I24354313“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5009170422“，”display_name“：”Rafael Grimson“，”orcid“：”https://orcid.org/0000-0002-3430-0402}，“机构”：[{“id”：https://openalex.org/I24354313“，”display_name“：”布宜诺斯艾利斯大学“，”ror“：”https://ror.org/0081fs513“，”country_code“：”AR“，”type“：“教育”，”世系“：[”https://openalex.org/I24354313“]}，{”id“：”https://openalex.org/I151201029“，”display_name“：”Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas“，”ror“：”https://ror.org/03cqe8w59“，”country_code“：”AR“，”type“：“政府”，”世系“：[”https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568“]}]，”国家“：[”AR“]，”is_corresponding“：false，”raw_author_name“：”Rafael Grimson“，”raw _ afiliation_strings“：[“Dto.Matem\u00e1tica，FCEN，阿根廷布宜诺斯艾利斯大学和CONICET，Argentina#TAB#”]，”从属关系“：[{”raw _affiliation_strong“：”Dto.Matem\u00 e1tica:”FCEN，Universidad de Buenos Aires，Argentian和CONICET#，Argentia#TAB#“，”机构ID“：[”https://openalex.org/I24354313","https://openalex.org/I151201029“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“has_fulltext”：false，“cited_by_count”：1，：69，“max”：76}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”135“，”last_page“：”145“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9974，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.510751}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.501785}]，”concepts“：[{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”Negation“，”level“：2，”score“：0.73932433}，{”id“：”https://openalex.org/C195818886，“wikidata”：https://www.wikidata.org/wiki/Q5421724“，”display_name“：”表现力“，”level“：2，”score“：0.61283094}，{”id“：”https://openalex.org/C2039508，“wikidata”：https://www.wikidata.org/wiki/Q7239631“，”display_name“：”谓词函子逻辑“，”level“：5，”score“：0.56496006｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5567872}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.55676484}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.53736264｝，｛”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.5347945}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.52806544}，{”id“：”https://openalex.org/C150889026，“wikidata”：https://www.wikidata.org/wiki/Q185502“，”display_name“：”多值逻辑“，”level“：3，”score“：0.5174652}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.50458443}，{”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.42477685}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34594983}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3437792}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.34303737}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.31327266}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.29781207}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.23058796}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯粹数学“，”level“：1，”score“：0.16459227}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_16“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.431.9203，“pdf_url”：http://www.glyc.dc.uba.ar/santiago/papers/ifso.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.431.9203，“pdf_url”：http://www.glyc.dc.uba.ar/stantigo/papers/ivlos.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.51}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W1548835575","https://openalex.org/W1705887879","https://openalex.org/W1778486997","https://openalex.org/W1990514682","https://openalex.org/W2070509093","https://openalex.org/W2083018613","https://openalex.org/W2122996319","https://openalex.org/W2171275058","https://openalex.org/W4231177325“]，”related_works“：[”https://openalex.org/W3184427385","https://openalex.org/W2952349401","https://openalex.org/W2090184124","https://openalex.org/W2071436802","https://openalex.org/W2033995545","https://openalex.org/W1984651728","https://openalex.org/W1760954332","https://openalex.org/W1577123288","https://openalex.org/W1518114393","https://openalex.org/W1505395785“]，”ngrams_url“：”https://api.openalex.org/works/W91200808/ngrams网站“，”“abstract_inverted_index”：{“It”：[0]，“is”：[1,8,19]，“knowled”：[2]，“that”：[3108]，“Independence”：[4]，“Friendly”：[5]，“（IF）”：[6]，“logic”：[7,13,79107]，“equivalent”：[9]，“）”：[16]，“and”，“：[17]，“因此，”：[18]，“not”：[20,81]，“closed”：[21]，“under”：[22,64]，“经典“：[23,59]，”否定。“：[24]，”The“：[25]，”boolean“：[26]，”closure“：[27]，”of“：[28,43,67,77,88104]，”IF“：[29,68]，”senges，“：[30]，”called“：[31]，”Extended“：[32]，”IF-logic“：[33]，”on“：[34]，”The“：[35,74,89]，”other“：36]，”hand“：[37]，”corresponsives“：[38]，”a“：[40,93100]，“正确”：[41]，“片段”：[42103]，“$\\Delta^1_2$”：[44,84115]，“。“：[45,85116]，”In“：[46]，“this”：[47,78]，“paper”：[48]，“we”：[49,91109]，“consider”：[50]，“IF-logic”：[51]，“extended”：[52]，“with”：[P3]，“Hodges\u2019”：[54]，“flathing”：[55]，“operator”：[56]，“which”：[57]，“allow”：[58]，“negation”：[60]，“occurrent”：[62]，“also”：[63]，“范围”：[66]，“量词。“：[69]，“我们”：[70]，“显示”：[71110]，“那，”：[72]，“无论如何”：[73]，“表达”：[75]，“权力”：[76]，“做”：[80]，“去”：[82]，“超越”：[83]，“作为”：[86]，“部分”：[87]，“证明”：[90]，“给予”：[92]，“前体”：[94]，“正常”：[95]，“形式”：[96]，“结果”：[97]，“：[98]，”引入“：[99]，”非平凡“：[101]，”句法“：[102]，”完整“：[105]，”被“：[112]，”包含“：[113]，”在“：[114]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W91200808”，“counts_by_year”：[｛“year”：2014，“cited_by_count”：1｝]，“updated_date”：“2024-06-15T14:28:39.270848”，“created_date”：“2016-06-24”｝