{“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_ordanization_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/0111rn36“,”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“]},{”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/0111rn36“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I9360294“]}],”国家“:[”IT“],”is_corresponding“:false,”raw_author_name“:”Gabriele Tassi“,”raw _affiliation_strings“:[“Dipartitmento Di Filosofia,University \u00e1 Di Bologna,Via Zamboni,38,1-40126 Bologna(意大利博洛尼亚)。电子邮箱:gabriele.tashi@studio.unibo.it“]}],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:null,”apc_payed“:null,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count:11,“cited_by_percentile_year”:{“min”:85,”max“:86},”biblio“:{”volume“:“72”,“问题”:“4”,“first_page”:“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“:”模态逻辑“,”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“:”Mathematics“,”level“:0,”score“: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_ordanization_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”:“减少不平等”,“score”:0.45,“id”:”https://metadata.un.org/sdg/10“}],”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-05-13T04:14:22.281911“,”创建日期“:”2016-06-24“}