{“id”：“https://openalex.org/W2030002668“，”doi“：”https://doi.org/10.2178/jsl/1174668386“，”title“：”类型理论的内涵模型“，”display_name“：”类别理论的内涵模式“，”publication_year“：2007，”publitation_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W2030002668“，”doi“：”https://doi.org/10.2178/jsl/1174668386“，”mag“：”2030002668“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668386“，”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”：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://philpapers.org/archive/MUSIMF.pdf“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5004614569“，”display_name“：”Reinhard Muskens“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210142254“，”display_name“：”Laboratoire Bordelais de Recherche en Informatique“，”ror“：”https://ror.org/03adqg323“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Reinhard Muskens“，”raw _affiliation_strings“：[“哲学系”，”Bordelais de Recherche en Informatique实验室“，”语言符号、语法和意义：自然语言的计算逻辑“]}]，”countries_distiction_count“：1，”institutions_disticenc_count”：1，“对应的author_ids“：[”https://openalex.org/A5004614569“]，”对应的机构ID“：[”https://openalex.org/I4210142254“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：43，”cited_by_percentile_year“：{”min“：93，”max“：94}，”biblio“：{“volume”：“72”，“issue”：“1”，”first_page“：”98“，”last_page“：“118”}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9983，”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.9983，”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.9974，”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.9875，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.531249}]，”concepts“：[{”id“：”https://openalex.org/C150355047，“wikidata”：https://www.wikidata.org/wiki/Q965432“，”display_name“：”扩展性“，”级别“：2，”分数“：0.9518851}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.64131266}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.6411115}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.5621591}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.51835334}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.5137249}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.46788946}，{”id“：”https://openalex.org/C89421646，“wikidata”：https://www.wikidata.org/wiki/Q843632“，”display_name“：”Sequent“，”level“：2，”score“：0.45214707}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.43016466}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.42779377}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.42130744}，{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121“，”display_name“：”序列演算“，”level“：3，”score“：0.41430792}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.41307825}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.36246043}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.30555242}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.2798099}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.17578834}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14283785}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.09571269}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：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/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668386“，”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00412577“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：false，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-00412577“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://philpers.org/rec/MUSIMF，“pdf_url”：https://philpers.org/archive/MUSIMF.pdf，“源”：{“id”：https://openalex.org/S4306402131“，”display_name“：”PhilPapers（PhilPaper基金会）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]”，“type”：“repository”}，”license“：null，”licence_id“：nulse，”version“：”submittedVersion“，”“is_accepted”：falseis_published“：false}，{”is_oa“：true，”landing_page_url“：”https://pure.uvt.nl/ws/files/907156/intensional.pdf，“pdf_url”：https://pure.uvt.nl/ws/files/907156/intensional.pdf，“源”：{“id”：https://openalex.org/S4306401490“，”display_name“：”研究门户（蒂尔堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I193700539“，”“host_organization_name”：“蒂尔堡大学”，“host_organization_lineage”：[“https://openalex.org/I193700539“]，”host_organization_lineage_names“：[”Tilburg University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://philpapers.org/rec/MUSIMF网站，“pdf_url”：https://philpapers.org/archive/MUSIMF.pdf，“源”：{“id”：https://openalex.org/S4306402131“，”display_name“：”PhilPapers（PhilPaper基金会）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]”，“type”：“repository”}，”license“：null，”licence_id“：nulse，”version“：”submittedVersion“，”“is_accepted”：falseis_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：15，”referrenced_works“：【”https://openalex.org/W1554618854","https://openalex.org/W1661653767","https://openalex.org/W1976819271","https://openalex.org/W1986220682","https://openalex.org/W2009247993","https://openalex.org/W2019102629","https://openalex.org/W2023460305","https://openalex.org/W2039792188","https://openalex.org/W2048297078","https://openalex.org/W2060417572","https://openalex.org/W2082653520网址","https://openalex.org/W2091343125","https://openalex.org/W2130484657","https://openalex.org/W4233253115","https://openalex.org/W4234216897“]，”related_works“：[”https://openalex.org/W4253113110","https://openalex.org/W4251049234","https://openalex.org/W2891688494","https://openalex.org/W2584381231","https://openalex.org/W2280276996","https://openalex.org/W2138973931","https://openalex.org/W2096191306","https://openalex.org/W2023557900","https://openalex.org/W1499822848","https://openalex.org/W1488351281“]，”ngrams_url“：”https://api.openalex.org/works/W2030002668/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“In”：[1105]，“this”：[2,57,73109]，“paper”：[3]，“we”：[4,74]，“define”：[5]，“intensional”：[6,18,65]，“models”：[7,23,27,66129]，“for”：[8,50]，“the”：[9,40,62153]，“classic”：[10149]，“theory”：%11,52151]，“of”：[12,42,56,64,97113143155]，“类型”，“：[13]，“因此”：[14]，“到达”：[15]，“在”：[16]，“an”：[17120]，“类型“：[19,51150]，”逻辑“：[20145]，”ITL。“：[21]，”内涵“：[22]，”概括“：[24]，”亨金“：[25]，”一般“：[26]，”和“：[28,53117]，”有“：[29]，”a“：[30,34,46,68110]，”自然“：[31]，”定义。“：[32]，”As“：[33]，”class“：[35,63]，”they“：[36]，”do“：[3]，”not“：38]，”validate“：[39]，”axiom“：[41154]，”Extensionality“。“：[43]，“We”：[44]，“give”：[45]，“cut-free”：[47]，“sequent”：[48]，“calculations”：[49,58]，“show”：[54]，“completebility”：[55]，“with”：【59119137】，“respect”：【60】，“to”：【61，78，94107】，“via”：【67】，“model”：【69，95】，“existence”：〔70〕，“定理。“：[71]，”After“：[72]，”turn“：[75]，”our“：[76]，”attention“：[77]，”applications。“：[79]，”“首先，”“：[80]，”它“：[81,90124]，”是“：[82,87115125157]，”争论“：[83]，”那，“：[84]，”自“：[85]，”ITL“：[86121128]，”真“：[88]，”内涵“：[89]，”can“：[91134]，”be“：[92135]，”used“：[93]，”归属“：[96]，”命题“：[98]，”态度“：[99]，”没有“：[100]，“预测”：[101]，“逻辑”：[102]，“全知”：[103]，“。“：[104140]，”order“：[106]，”examples“：[108]，”small“：[111]，”fragment“：[112]，”English“：[114]，”defined“：[116]，”provided“：+118]，”semantics。“：[122]，”第二，“：[123]，”显示“：[126]，”该“：[127133]，”包含“：[130]，”确定“：[131]，”对象“：[132]，”识别“：[136]，”可能“：[138]，”世界“：[139]，”本质“：[141]，”元素“：[142]，”模态“：[144]，”成为“：[146]，”可用“：[147]，”在“：[148]，”一次“：[152]，”扩展性“：[156]，”给定“”：[158]，“向上。“：[159]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2030002668“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1}年份“：2015，”引用by_count“：3}，{“年份”：2014，”引用by_count，{“年份”：2012，“引用_ by_count”：5}]，“更新日期”：“2024-05-11T04:35:17.223430”，“创建时间”：“2016-06-24”}