｛“id”：“https://openalex.org/W2030678653“，”doi“：”https://doi.org/10.2307/2586717“，”title“：“命题的完备性-直觉逻辑到推理组合逻辑的as类型解释”，”display_name“：”命题的完好性-直觉逻辑学到推理组合逻辑学的as类型理解“，”publication_year“：1998，”publitation_date“：”1998-09-01“，”ids“：{”openalex“：”https://openalex.org/W2030678653“，”doi“：”https://doi.org/10.2307/2586717“，”mag“：”2030678653“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2586717“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”host_organization_name“：”剑桥大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://repository.ubn.ru.nl/bitstream/handle/2066/17260/1/17260.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5084350793“，”display_name“：”Wil Dekkers“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Wil Dekkers”，“raw_affiliation_strings”：[]、“affiliations”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5038043998“，”display_name“：”M.W.Bunder“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Martin Bunderhttps://openalex.org/A5016150987“，”display_name“：”Henk Barendregt“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name““：”Henk Barndregt“c_list“：null，”apc_payd“：null，”fwci“：1.029，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：19，”cited_by_percentile_year“：{”min“：85，”max“：86}，”biblio“：{“volume”：“63”，“issue”：“3”，“first_page”：“869”，“last_page”：”890“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9995，”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.9995，”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.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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9971，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.569281}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.534662}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.528843}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.526892}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.525802}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.92969656}，{”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.66257286}，{”id“：”https://openalex.org/C73314972，“wikidata”：https://www.wikidata.org/wiki/Q10531432“，”display_name“：”谓词变量“，”level“：5，”score“：0.6211388}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉逻辑“，”level“：3，”score“：0.59209436｝，｛”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.5286848}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.5229626}，{”id“：”https://openalex.org/C70846408，“wikidata”：https://www.wikidata.org/wiki/Q220433“，”display_name“：”逻辑等价“，”level“：3，”score“：0.52296}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5111521}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.5110863}，{”id“：”https://openalex.org/C144791301，“wikidata”：https://www.wikidata.org/wiki/Q1548746“，”display_name“：”二阶逻辑“，”level“：4，”score“：0.4965065}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.49283218}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.49107575}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.48744085}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.48673275}，{”id“：”https://openalex.org/C2039508，“wikidata”：https://www.wikidata.org/wiki/Q7239631“，”display_name“：”谓词函子逻辑“，”level“：5，”score“：0.47330633}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段代数“，”level“：2，”score“：0.4682416}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.43309057}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.43271267}，{”id“：”https://openalex.org/C150889026，“wikidata”：https://www.wikidata.org/wiki/Q185502“，”display_name“：”多值逻辑“，”level“：3，”score“：0.4269895}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.42432603}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.38895753}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3773502}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.33473384}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.29556856}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.21858138}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.20103377}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.19913727}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.13351196｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”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}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2586717“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”host_organization_name“：”剑桥大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“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/2066/17260，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/17260/1/17260.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ro.uow.edu.au/cgi/viewcontent.cgi？article=2892&context=eispapers，“pdf_url”：https://ro.uow.edu.au/cgi/viewcontent.cgi？article=2892&context=eispapers，“源”：{“id”：https://openalex.org/S4306400510“，”display_name“：”在线研究（伍伦贡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I204824540“，”“host_organization_name”：“伍伦贡大学”，“host_organization_lineage”：[“https://openalex.org/I204824540“]，”host_organization_lineage_names“：[”伍伦贡大学“]，“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://hdl.handle.net/2066/17260，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/17260/1/17260.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W2112160811","https://openalex.org/W4250879870","https://openalex.org/W4388299483“]，”related_works“：[”https://openalex.org/W4389618767","https://openalex.org/W4388397425","https://openalex.org/W4378499270","https://openalex.org/W4147469","https://openalex.org/W2506419265","https://openalex.org/W2479875366","https://openalex.org/W2071436802","https://openalex.org/W2030678653","https://openalex.org/W1522769018","https://openalex.org/W1484845602“]，”ngrams_url“：”https://api.openalex.org/works/W2030678653/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Illiative”：[1]，“combinary”：[2,37]，“logic”：[3,38,54]，“composes”：[4]，“of”：[5,8,35102157]，“the”：[6,56,96103108115136144148158]，“theory”：[7]，“combonators”：[9]，“or”：[10,74]，“lambda”：[11]，“calculates”：[12165]，“extended”：[13]，“by”：[14133]，“额外”：[15]，“常量”：[16]，“（和”：[17]，“相应的“：[18138]，”公理“：[19]，”和“：[20,47]，”规则）“：[21]，”意图“：[22]，”to“：[23]，”捕获“：[24]，”推断。“：[25]，”In“：[26,95107]，”a“：[27,76,92]，”previous“：[28]，”paper“：[29]，”[2]“，”：[30]，”we“：[31,99111130152]，”considered“：[32]，”4“：[33]，”systems“：[34,58140146159]，”illative“：[36,57139]，”that“：[39113135155]，”ares“：[40,83,88119123141]，”sound“：[41]，”for“：[42147163]，“第一个”：[43]，“顺序”：[44]，“直觉主义”：[45]，“命题”：[46]，“谓词“：[48164]，”逻辑。“：[49]，“The”：[50]，“interpretation”：[51]，“from”：[52]，“normal”：[53]，“into”：[55]，“can”：[59]，“be”：[60]，“done”：[61]，“in”：[62,69,75,80,91126]，“two”：[C3104137145]，“ways:”：[64]，“following”：[65]，“propositions-as-types”：[67]，“paradigm，”：[68]，“which”：[70,81]，”派生词“：[71,82]，”变为“：[72]，”组合词，“：[73]，”更多“：[77]，”直接“：[78105124149]，”方式“：[79]，”非“：[84]，”翻译。“：[85]，”两者“：[86]，”翻译“：[87118]，”紧密“：[89]，”相关“：[90]，”规范“：[93]，”方式。“：[94]，”引用“：[97]，”论文“：[98110]，”证明“：[100131]，”完整性“：[101132]，”翻译。“：[106150]，”当前“：[109]，”证明“：[112154]，”还“：[114161]，”间接“：[117]，”完成。“：[120]，”这些“：[121]，”证明“：[122]，”而“：[125]，”另一个“：[127]，”版本，“：[128]，”[3]，“：[129]，”显示“：[134]，”保守“：[142]，”过度“：[143]，”此外“：[151]，”应“：[153]，”一“：[156]，”是“：[160]，”完整“：[162]，”带有“：[166]，”更高“：[167]，”类型“：[168]，”函数。“：[169]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2030678653“，”counts_by_year“：[{”年“：2015，”cited_by_count“：2}，{”年份“：2014，”cited_by_count”：1}，“年份”：2013，”citecd_by_count“：4}，”年度“：2012，”citted_by_count“:1}]，”updated_date“：”2024-06-23T18:39:02.674996“，”created_dates“：”2016-06-24“}”