｛“id”：“https://openalex.org/W2145822311“，”doi“：”https://doi.org/10.2178/jsl/1203350782“，”title“：”直觉主义逻辑摆脱所有元规则“，”display_name“：”直观主义逻辑摆脱了所有元规则”，“publication_year”：2007，“publiation_date”：“2007-12-01”，“ids”：{“openalex”：“https://openalex.org/W2145822311“，”doi“：”https://doi.org/10.2178/jsl/1203350782“，”mag“：”2145822311“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350782“，”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”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5086100184“，”display_name“：”Giovanna Corsi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”网址：https://ror.org/01111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giovanna Corsi“，”raw _ afiliation_strings“：[“Dipartitmento Di Filosofia，University \u00e1 Di Bologna，Via Zamboni，38，1-40126 Bologna（意大利博洛尼亚）。电子邮箱：corsi@philo.unibo.it“]，”affiliations“：[{”raw_affiliation_string“：”意大利博洛尼亚大学\u00e1 Di Bologna，Via Zamboni，38，1-40126 Bologna Di Filosofia Dipartitmento Di Filocofia。电子邮箱：corsi@philo.unibo.it“，”institution_id“：[”https://openalex.org/I9360294“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5067715328“，”display_name“：”Gabriele Tassi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”网址：https://ror.org/01111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Gabriele Tassi“，”raw_affiation_strings“：[”Dipartimento Di Filosofia，Universit \u00e1 Di Bologna，Via Zamboni，38，1-40126 Bologna，Italy电子邮箱：gabriele.tassi@studio.unibo.it“]，”affiliations“：[{”raw_affiliation_string“：”意大利博洛尼亚大学\u00e1 Di Bologna，Via Zamboni，38，1-40126 Bologna Di Filosofia Dipartitmento Di Filocofia。电子邮箱：gabriele.tassi@studio.unibo.it“，”institution_id“：[”https://openalex.org/I9360294“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：1.035，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：11，“citeconding_by_percentile_year”：{“min”：85，“max”：86}，“biblio”：{“卷”：“72”，“问题”：“4”，“第一页”：“1204”last_page“：”1218“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9977，”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.9977，”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.9959，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9789，”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/selection-logic“，”display_name“：”分离逻辑“，”score“：0.534877}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.519627}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.516091}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.503146}]，”concepts“：[{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.62873316}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.51358795}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉逻辑“，”level“：3，”score“：0.5041665｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.44559103}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44026855}，{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.43980092}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.36026374}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33188462}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.31139088}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732网址“，”display_name“：”证明理论“，”level“：3，”score“：0.27501562}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.23642379｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.12922856}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.08905357}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.05969557}，{”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“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350782“，”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，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“display_name”：“减少不平等”，“id”：“https://metadata.un.org/sdg/10“，”score“：0.45}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：2，”referrenced_works“：【”https://openalex.org/W2046451304","https://openalex.org/W2131739376“]，”related_works“：[”https://openalex.org/W4232291640","https://openalex.org/W3217765976","https://openalex.org/W3196023996","https://openalex.org/W3186810523","https://openalex.org/W315696179","https://openalex.org/W2804386508","https://openalex.org/W187835144","https://openalex.org/W1586813864","https://openalex.org/W1500659951","https://openalex.org/W122982323“]，”ngrams_url“：”https://api.openalex.org/works/W2145822311/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“In”：[1]，“this”：[2]，“paper”：[3]，“we”：[4]，“present”：[5]，“two”：[6]，“calculi”：[7]，“for”：[8]，“直觉主义”：[9]，“logical.”：[10,81]，“The”：[11]，“first”：[12]，“one.”：[13]，“IG，”：[14]，“is”：[15,26,44,4]49,59,72]，“特征”：[16]，“by”：[17,74]，“The”：[18,30,35,41,69]，“fact”：[19]，“that”：[20]，“every”：[21]，“证明搜索“：[22,39,48,67]，”终止“：[23]，”和“：[24,46]，”终结“：[25]，”达到“：[27]，”没有“：[28,51]，”危害“：[29]，”子公式“：[31,42]，”属性。“：[32]，”As“：[33,64]，”to“：[34,54,62]，”second“：36]，”one“：[3]，”SIC“：[38]，”terminates“：[40]，”property“：[43]，”preserved“：[45]，”additional“：[47]，”performed“：[50]，”any“：[52]，”resource“：[53]，”metarules，“：[55]，”in“：[56,68,79]，”special“：[57]，”there“：[58]，“否”：[60]，“需要”：[61]，“回溯”。“：[63]，”a“：[65,75]，”结果“：[66]，”微积分“：[70]，”SIC“：[71]，”已完成“：[73]，”单个“：[76]，”树“：[77]，”as“：[78]，”经典“：[80]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2145822311“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：2}，{“年度”：2019，”“cited_by_cunt”：1}，”“年份”“：2018，”d_date“：”2024-06-23T02:12:45.051102“，”创建日期“：”2016-06-24“}