｛“id”：“https://openalex.org/W1998546048网址“，”doi“：”https://doi.org/10.1016/j.ic.2009.11.008“，”title“：“余代数逻辑中的消减”，”display_name“：”余代数逻辑的消减“，”publication_year“：2010，”publiation_date“：”2010-12-01“，”ids“：{”openalex“：”https://openalex.org/W1998546048“，”doi“：”https://doi.org/10.1016/j.ic.2009.11.008“，”mag“：”1998546048“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2009.11.008“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://spiral.imperial.ac.uk/bitstream/10044/1/95363/2/DTR08-14.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5077171828“，”display_name“：”Dirk Pattinson“，”orcid“：”https://orcid.org/0000-0002-5832-6666}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Dirk Pattinson“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw _affiliation_string“：”英国伦敦帝国学院计算系“，”institution_ids“：]”https://openalex.org/I47508984“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5073765060“，”display_name“：”Lutz Schr\u00f6der“，”orcid“：”https://orcid.org/0000-0002-3146-5906}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Lutz Schr\u00f6der“，”raw _ afiliation_strings“：[“DFKI不来梅和德国不来梅大学计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”DFKI不来梅和计算机科学系，德国不来曼大学”，“institution_ids”：[“https://openalex.org/I180437899“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5077171828“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2640，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：20，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：“208”，“issue”：“12”，“first_page”：“1447”，“last_page”：”“1468”}“，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9994，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9994，”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.9981，”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.9916，”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/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.583604}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.564577｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.544162}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.529855}]，”concepts“：[{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121“，”display_name“：”序列演算“，”level“：3，”score“：0.6125754}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.60564643}，{”id“：”https://openalex.org/C89421646，“wikidata”：https://www.wikidata.org/wiki/Q843632“，”display_name“：”Sequent“，”level“：2，”score“：0.59455264}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.55599374}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5152028}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.50267744}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.47787824}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”普通模态逻辑“，”level“：4，”score“：0.46721473}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.46615514}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.43018803}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.40637785｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.38891694}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3872089}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.37709457}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.29531485}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.271303}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.25761205}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.17959657}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic-2009年11月.008日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/95363，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/95363/2/DTR08-14.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”网址：http://hdl.handle.net/10044/1/95363，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/95363/2/DTR08-14.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”host_organization_name“：”伦敦帝国理工学院“，”host_organization_lineage“：[”https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1499184985","https://openalex.org/W1515545234","https://openalex.org/W1950219843","https://openalex.org/W1977778918","https://openalex.org/W1982431152网址","https://openalex.org/W1995718667","https://openalex.org/W2003770962","https://openalex.org/W2017057265","https://openalex.org/W2062485819","https://openalex.org/W2087025946","https://openalex.org/W2097313873","https://openalex.org/W2109058602","https://openalex.org/W2127383193","https://openalex.org/W2142018979","https://openalex.org/W2154547008","https://openalex.org/W2166144087","https://openalex.org/W2250074872","https://openalex.org/W2405904545","https://openalex.org/W2568815622","https://openalex.org/W3296631","https://openalex.org/W4242309855","https://openalex.org/W56574371“]，”related_works“：[”https://openalex.org/W4253113110","https://openalex.org/W4245450076","https://openalex.org/W4210342219","https://openalex.org/W2793924652","https://openalex.org/W2753667555","https://openalex.org/W2617588251","https://openalex.org/W2280276996","https://openalex.org/W2112687509","https://openalex.org/W1995718667","https://openalex.org/W1490031414“]，”ngrams_url“：”https://api.openalex.org/works/W1998546048/ngrams网站“，”abstract_inverted_index“：｛”We“：[0,15,44]，”give“：[1]，”two“：[2]，”generic“：[3]，”证明“：[4]，”for“：[5104113]，”cut“：[6,60,67]，”消去“：[7,68]，”in“：[8,39,82]，”命题“：[9]，”模态“：[10,56]，”逻辑“：[11]，”解释“：[12]，”over“：[13]，”coalgebras.“：[14]，“第一”：[16]，“调查”：[17]，“语义”：[18，78]，“连贯性”：[19]，“条件”：[20]介于“：[21]，”the“：[22,35,40,53,64,75,84,99110114]，”axiomatisation“：[23]，”of“：[24,52,55,98]，”a“：[25,48,95]，”special“：[26]，”logic“：[27,85106]，”and“：[28,77107118]，”its“：[29]，”coalebraic“：[30,89]，”semantics“：[31]，”that“：[32,34,58,66,74]，”guarantee“：[33]，”cut规则“：[36]，”是“：[37,73,86]，”允许“：[38]，”后继“：[41]，”顺序“：[42]，”微积分。“：[43]，”然后“：[45]，”独立“：[46]，”隔离“：[47]，”纯粹“：[49]，”语法“：[50,76]，”属性“：[51103112]，”设置“：[54]，”规则“：[57]，”保证“：[59]，”消除。“：[61]，”分开“：[62]，”来自“：[63]，”事实“：[65]，”持有“：[69]，”我们的“：[70]，”主要“：[71]，”结果“：[72]，”假设“：[79]，”是“：[80]，”等价“：[81]，”案例“：[83]，”可修改“：[87]，”to“：[88]，”语义。“：[90]，”作为“：[91]，”应用程序“：[92]，”我们“：[93]，”现在“：[94]，”新“：[96]，”证明“：[97]，”（已经“：[100]，”已知）“：[101]，”插值“：[102111]，”联盟“：[105]，”新建“：[108]，”建立“：[109]，”条件“：[115]，”逻辑“：[116]，”LCK“：[117]，“LCKID。“：[119]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1998546048“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2022，”“cited_by_cunt”：2}，”“年份”“：2020，”“cited_by-count”“：2}，”“年”“：2019，”“icted_by/count”（引用的_by_cont）：1}，”“：2014，”cited_by_count“：1}，{“年份”：2013，”cited_by_count，“updated_date”：“2024-06-18T11:56:29.420682”，“创建日期”：“2016-06-24”}