{“id”：“https://openalex.org/W3180427957“，”doi“：”https://doi.org/10.109/lics52264.2021.9470508“，”title“：”G\u00f6del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication“，”display_name“：”G \u00f 6del-Mc Kinsey-Tarski and Blok-Esakia for Heyting-Lewis Inplication”，“publication_year”：2021，“publitation_date”：“2021-06-29”，“ids”：{“openalex”：“https://openalex.org/W3180427957“，”doi“：”https://doi.org/10.109/lics52264.2021.9470508“，”mag“：”3180427957“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470508“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://arxiv.org/pdf/2105.01873“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5005713278“，”display_name“：”Jim de Groot“，”orcid“：”https://orcid.org/0000-0003-1375-6758}，“机构”：[{“id”：https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Jim de Groot“，”raw _ afiliation_strings“：[“澳大利亚国立大学计算学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5058807832“，”display_name“：”Tadeusz Litak“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I181369854“，”display_name“：”Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg“，”ror“：”https://ror.org/00f7hpc57“，”country_code“：”DE“，”type“：”教育“，”血统“：[”https://openalex.org/I181369854“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Tadeusz Litak“，”raw _ afiliation_strings“：[“FAU Erlangen-Nurmeberg理论计算机科学主席”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5077171828“，”display_name“：”Dirk Pattinson“，”orcid“：”https://orcid.org/0000-0002-5832-6666}，“机构”：[{“id”：https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”countries“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Dirk Pattinson“，”raw _affiliation_strings“：【”澳大利亚国立大学计算学院“】}]，“countries_distict_count”：2，“institutions_distinct_count”：2中，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _payed”：nul，“has_fulltext“：false，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：72，”max“：77}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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.9998，”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.9996，”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.9974，”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/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.553101}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.547218}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.543941}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.525938｝]，”concepts“：[｛”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.8301121}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.64060557}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.6377793}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.5548476}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.53930146}，{”id“：”https://openalex.org/C171482190，“wikidata”：https://www.wikidata.org/wiki/Q3257974网址“，”display_name“：”最小逻辑“，”level“：5，”score“：0.5303797}，{”id“：”https://openalex.org/C187062830，“wikidata”：https://www.wikidata.org/wiki/Q1617044“，”display_name“：”Heyting代数“，”level“：3，”score“：0.43411663}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43015882}，{”id“：”https://openalex.org/C2780432614，“wikidata”：https://www.wikidata.org/wiki/Q864213“，”display_name“：”保守扩展“，”level“：2，”score“：0.4225391}，{”id“：”https://openalex.org/C150889026，“wikidata”：https://www.wikidata.org/wiki/Q185502“，”display_name“：”多值逻辑“，”level“：3，”score“：0.41757947}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.40248662}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36637187}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.36116034}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.27787372}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.26134068}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.25790104}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.2472027}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.14295492}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14089945}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470508“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://arxiv.org/abs/2105.01873，“pdf_url”：http://arxiv.org/pdf/2105.01873，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”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://arxiv.org/abs/2105.01873，“pdf_url”：http://arxiv.org/pdf/2105.01873，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：87，”referenced_works“：[”https://openalex.org/W1032524570","https://openalex.org/W127701250","https://openalex.org/W1518622943","https://openalex.org/W1519478560","https://openalex.org/W1539123436","https://openalex.org/W1553743666","https://openalex.org/W1554619471","https://openalex.org/W1579494268","https://openalex.org/W1594606586","https://openalex.org/W1603328070","https://openalex.org/W1911166315","https://openalex.org/W1969042337","https://openalex.org/W1969167499","https://openalex.org/W1977396974","https://openalex.org/W1981311833","https://openalex.org/W1987214648","https://openalex.org/W1988188019","https://openalex.org/W1989423435","https://openalex.org/W1996474321","https://openalex.org/W1997143185","https://openalex.org/W2000108579","https://openalex.org/W2002937553","https://openalex.org/W2013654056","https://openalex.org/W2015175446","https://openalex.org/W2018517747","https://openalex.org/W2020900140","https://openalex.org/W2023132547","https://openalex.org/W2029408547","https://openalex.org/W2031349440","https://openalex.org/W2038237961","https://openalex.org/W2039904055","https://openalex.org/W2043676956","https://openalex.org/W2058964903","https://openalex.org/W2059933820","https://openalex.org/W2060027303","https://openalex.org/W2064138295","https://openalex.org/W2079103712","https://openalex.org/W2084684966","https://openalex.org/W2105815991","https://openalex.org/W2106742806","https://openalex.org/W2106805101","https://openalex.org/W2116193330","https://openalex.org/W2116813111","https://openalex.org/W2118313805","https://openalex.org/W2123771031","https://openalex.org/W2124950856","https://openalex.org/W2132181573","https://openalex.org/W2140812277","https://openalex.org/W2142725511","https://openalex.org/W2143326093","https://openalex.org/W2144488427","https://openalex.org/W2148595046","https://openalex.org/W2158789193","https://openalex.org/W2160442456","https://openalex.org/W2163960919","https://openalex.org/W2166229534","https://openalex.org/W2166351442","https://openalex.org/W2301245973","https://openalex.org/W2338618904","https://openalex.org/W2339873225","https://openalex.org/W2509229232","https://openalex.org/W2578225362","https://openalex.org/W2753141990","https://openalex.org/W2754631492","https://openalex.org/W2795775141","https://openalex.org/W280116208","https://openalex.org/W2883161803","https://openalex.org/W2884919550","https://openalex.org/W2901454403","https://openalex.org/W2921156513","https://openalex.org/W2923147252","https://openalex.org/W2946342418","https://openalex.org/W2950450725","https://openalex.org/W2958157630","https://openalex.org/W2963441991","https://openalex.org/W2995290735","https://openalex.org/W3031573046","https://openalex.org/W3101546648","https://openalex.org/W3105817132","https://openalex.org/W3116821377","https://openalex.org/W4231894538","https://openalex.org/W4236457686","https://openalex.org/W4237415506","https://openalex.org/W4240922835","https://openalex.org/W4242309855","https://openalex.org/W4287592581","https://openalex.org/W88360193“]，”related_works“：[”https://openalex.org/W4386690957","https://openalex.org/W4294321401","https://openalex.org/W3180427957","https://openalex.org/W2754467536","https://openalex.org/W2119801970","https://openalex.org/W2094693809","https://openalex.org/W2074934605","https://openalex.org/W2009938424","https://openalex.org/W1994030515","https://openalex.org/W1845523133“]，”ngrams_url“：”https://api.openalex.org/works/W3180427957/ngrams“，”abstract_inverted_index“：｛”Heyting Lewis“：[0124168]，”Logic“：[1,70125]，”is“：[2]，”the“：[3，16，56，64106110157]，”extension“：[4]，”of“：[5，19，30，41，52，59，66，97167]，”直觉“：[6，67，75]，”命题“：[7]，”Logic“：[8，32，51129]，”with“：[9，79130]，”a“：[10，80102116139164]，”strict“：[11，22，86]，“含义”：[12,23]，“连接词”：[13]，““：[14142]，”满足“：[15]，”构造“：[17]，”对等项“：[18]，”公理“：[20]，”for“：[21,85163]，”provable“：[24]，”in“：[25,49,55,63,74]，”classical“：[26127]，”modal“：[27128]，”logics。“：[28169]，”变量“：[29]，”此“：[31,90]，”是“：[33]，”令人惊讶“：[34]，”广泛：“：[35]，”他们“：[36]，”出现“：[37]，”作为“：[38]，”柯里-霍华德“：[39]，”通讯员“：[40]，”（简单“：[42]，”类型“：[43]，”理论“：[44,58]，”扩展“：[45,78]，”with）“：[46]，”哈斯克尔风格“：[47]，“箭头，”：[48]，“保存性”：[50]，“Heyting”：[53]，“算术”：[54]，“证明”：[57]，“保护”：[60]，“（co）递归”：[61]，“and”：[62100109120150153156161]，“泛化”：[65]，“认知”：[68]，“逻辑.Heyting-Lewis”：[69]，“can”：[71]，“be”：[72]，“解释”：[73]，“Kripke”：[76]，“帧”：[77,95]，“二进制”：[81]，“关系”：[82]，“to”：[83,92122126137146]，“account”：[84]，“暗示”：[87]，“我们”：[88113]，“使用”：[89145]，“语义”：[91]，“define”：[93]，“descriptive”：[94]，“（generalisation”：[96]，“Esakia”：[98]，“spaces），”：[99]，“set”：[101]，“categorical”：[103]，“di偶性”：[104]，“between”：[105]，“algebral”：[107]，“interpretation”：[108]，“frame”：[111]，“semantics.”：%11]，“then”：%1144]，“adapt”：[115]，“transformation”：[117]，“by”：[118]，“Wolter”：[119]，“Zakharyaschev”：[121]，“translate”：[123]，“两个”：[131]，“一元”：[132]，“运算符。”：[133]，“这个”：[134]，“允许”：[135]，“我们”：[136]，“证明”：[138]，“Blok-Esakia”：[140]，“定理”：[141]，“we”：[143]，“获得”：[147]，“both”：[148]，“已知”：[149]，“新”：[151]，“规范性”：[152]，“对应”：[154]，“原理”：[155]，“有限”：[158]，“模型”：[159]，“属性”：[160]，“可判定性”：[162]，“大”：[165]，“family”：[166]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W3180427957“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2022，”cited_by_count”：1}]，”更新日期“：”2024-05-22T20:22:32.040723“，”创建日期“：“2021-07-19”}