{“id”：“https://openalex.org/W2083186217“，”doi“：”https://doi.org/10.2178/jsl/1185803617“，”title“：“证明的基本直觉主义逻辑”，”display_name“：”证明的基本直观主义逻辑“，”publication_year“：2007，”publiation_date“：”2007-06-01“，”ids“：{”openalex“：”https://openalex.org/W2083186217“，”doi“：”https://doi.org/10.2178/jsl/1185803617“，”mag“：”2083186217“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1185803617“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_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}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf？sequence=1&isAllowed=y“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5075172069“，”display_name“：”Sergei Art\u00ebmov“，”orcid“：”https://orcid.org/0000-0002-5605-6172}，“机构”：[{“id”：https://openalex.org/I174216632“，”display_name“：”纽约城市大学“，”ror“：”https://ror.org/00453a208“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I174216632“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sergei Artemov“，”raw _ afiliation_strings“：[“纽约城市大学”]，”affiliations“：[{”raw _affiliation_string“：”纽约城市大学“，”institution_ids“：]”https://openalex.org/I174216632“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087051979“，”display_name“：”Rosalie Iemhoff“，”orcid“：”https://orcid.org/0000-0001-975-9604“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Rosalie Iemhoff“，”raw_affiliation_strings“：[]]，”附属机构“：[]}]，”机构评估“：[]，“countries_distict_count”：1，“机构区分计数”：1：null，“fwci”：5.548，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：28，”citation_normalized_percentile“：{”value“：0.925681，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：true}，”cited_by_countile_year“：{“min”：90，“max”：91}，“biblio”：{“volume”：“72”，“issue”：“2”，“first_page”：“439”，“last_page”：”45 1“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：1.0，”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“：1.0，”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.9989，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9973，“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/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.6182208}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.521391}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.521165}，{”id“：”https://openalex.org/关键词/认知逻辑“，”display_name“：”认识逻辑“，”score“：0.510074}，{”id“：”https://openalex.org/keywords/well-formula格式良好“，”display_name“：”井型公式“，”score“：0.4573649}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.82555276}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.6182208}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.55038154}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.5386422}，{”id“：”https://openalex.org/C88548561，“wikidata”：https://www.wikidata.org/wiki/Q347599“，”display_name“：”sort“，”level“：2，”score“：0.52089643}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”井型公式“，”level“：5，”score“：0.4573649}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.44734263}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4457489}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44524804}，{”id“：”https://openalex.org/C2777530160，“wikidata”：https://www.wikidata.org/wiki/Q41796“，”display_name“：”句子“，”级别“：2，”分数“：0.43180996}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.41430354}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37482154}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”Arithmetic“，”level“：1，”score“：0.35420573｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3425103}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.3354797}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.12362474｝，｛”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.11585036}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.08683732}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1185803617“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_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”：“https://dspace.library.uu.nl/handle/1874/348392，“pdf_url”：https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf？sequence=1&isAllowed=y，“源”：{“id”：https://openalex.org/S4306401843“，”display_name“：”数据存档和网络服务（DANS）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://dspace.library.uu.nl/handle/1874/348392，“pdf_url”：https://dspace.library.uu.nl/bitstream/handle/1874/348392/7._The_Basic_Intuitionistic_Logic_of_Proofs.pdf？sequence=1&isAllowed=y，“源”：{“id”：https://openalex.org/S4306401843“，”display_name“：”数据存档和网络服务（DANS）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”版本“：”提交版本“，”is_accepted“：false，”is_published“：false｝，”可持续发展目标“：[｛”display_name“：”优质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.42}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：28，”referrenced_works“：【”https://openalex.org/W1497546070","https://openalex.org/W1518622943","https://openalex.org/W1519702305","https://openalex.org/W1566288082","https://openalex.org/W163732928","https://openalex.org/W1733731286","https://openalex.org/W1844349785","https://openalex.org/W1968710686","https://openalex.org/W1981294086","https://openalex.org/W1982890778","https://openalex.org/W2009552408","https://openalex.org/W2023712626","https://openalex.org/W2043468053","https://openalex.org/W2045237008","https://openalex.org/W2051685387网址","https://openalex.org/W2058774275","https://openalex.org/W2077847391","https://openalex.org/W2083623540","https://openalex.org/W2090169043","https://openalex.org/W2090768444","https://openalex.org/W2093281783","https://openalex.org/W2108756969","https://openalex.org/W2123771031","https://openalex.org/W2133101582","https://openalex.org/W2163960919","https://openalex.org/W2243154890","https://openalex.org/W4210771831","https://openalex.org/W4301432462“]，”related_works“：[”https://openalex.org/W3145584637","https://openalex.org/W3100510665","https://openalex.org/W2952893544","https://openalex.org/W2154555144","https://openalex.org/W2081976468","https://openalex.org/W2078736672","https://openalex.org/W2020323165","https://openalex.org/W1986625420","https://openalex.org/W1951369434","https://openalex.org/W1573206013网址“]，”abstract_inverted_index“：{”abstract“：[0]，”The“：[1]，”language“：[2,13]，”of“：[3,7,17,24,41]，”The“：[4,10,18,38]，”basic“：[5,39]，”logic“：[6,40]，”proofs“：[8,42]，”extensed“：[9]，”usual“：[11]，”positional“：[12]，”by“：[14]，”forming“：[15]，”句子“：[16]，”sort“：[19]，“x”：[20]，“is”：[21]，“a”：[22,34]，“proof”：[23]，“F”：[25,29]，“for”：[26,37]，“any”：[27]，“句子“：[28]，”。发现“：[30]，”In“：[31]，”this“：[32]，”paper“：[33]，”complete“：[35]，”axiomatization“：[36]，”In“：[43]，”Heyting“：[44]，”Arithmetic“：[45]，”HA“：[46]，”was“：%47]，”。“：[48]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2083186217“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：3}，{“年”：2020，”“引用的_by_cunt”：1}，}“年度”：2018，”“引的_by-count”“：1}，{”“年”“：2016，”“引述的_by_count”“4}，”“年份”“：2015，”“创建日期”：“2016-06-24”}