{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,9]]，“日期-时间”：“2024-05-09T07:53:47Z”，“时间戳”：1715241227096}，“出版商位置”：“柏林，海德堡”，“参考-计数”：13，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540223450”，“类型”：“打印”}，{“值”：“9783540259848”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-25984-8_19“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,11]]，“date-time”：“2010-09-11T02:3 1:38Z“，”时间戳“：1284172298000}，”页面“：”274-288“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“G\u00f6del-Dummett Logics中的Counter-Model Search”]，“prefix”：“10.1007”，”author“：[{”given“：”Dominique“，”family“：”Larchey-Wendling“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{“issue”：“4”，“key”：”19_CR1“，“doi-asserted-by”：“publisher”，“首页”：“447”，“doi”：“10.1093”，“jigpal”，“volume”：“7”，“author”：“A.Avellone”，“year”：“1999”，“unstructured”：“Avellone.，A.，Ferrari，M.，Miglioli，P.：可插值命题中间逻辑的无重复表演算和相关的无割序贯演算。IGPL\u00a07（4），447\u2013480（1999）”，“期刊标题”：《IGPL逻辑期刊》}，｛“key”：“19_CR2”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“98”，“doi”：“10.1007\/1072208_6_11”，“volume title”：“Automated Reasoning with Analytical Tableaux and Related Methods”，“author”：“A.Avron”，“year”：“2000”，“nonstructured”：“Avron，A.：基于超序列微积分的G\u00f6del-Dummett逻辑的Tableau系统。收录：Dyckhoff，R.（编辑）TABLEAUX 2000。LNCS，第u00a01847卷，第98\u2013111页。Springer，Heidelberg（2000）“}，{”issue“：”2“，”key“：”19_CR3“，”doi-asserted-by“：”publisher“，”first page“：“197”，“doi”：“10.1023\/A:1013813806341”，“volume”：“69”，”author“：”A.Avron“，“year”：“2001”，“unstructured”：“Avron，A.，Konikowska，B.：G\u00f6del-Dummett Logics.Studia Logica\u00a069（2），197\u2013219（2001）“，”journal-title“：”Studia Logica“}，{“key”：“19_CR4”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“36”，“doi”：“10.1007\/3-540-48754-9_8”，“volume-title”：《使用分析表和相关方法的自动推理》，“author”：“M.Baaz”，《年份》：“1999”，“非结构化”：“Baaz，M.，Ferm\u00fcller，C.：投影逻辑的分析微积分。收录：Murray，N.V.（编辑）TABLEAUX 1999。LNCS（LNAI），第u00a01617卷，第36\u201350页。Springer，Heidelberg（1999）“}，{”issue“：”8“，”key“：”19_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”677“，”doi“：”10.1109\/TC.1986.1676819“，”volume“：“C-35”，”author“：”R.E.Bryant“，”year“：”1986“，”unstructured“：”Bryant，R.E.：布尔函数操作的基于图的算法。IEEE Transactions on Computers\u00a0C-35（8），677\u2013691（1986）“，”journal-title“：”IEEE Transactions on Computers“}，{“key”：“19_CR6”，“doi-asserted-by”：“crossref”，“first-pages”：“96”，“doi”：“10.1017\/S0022481200125848”，“volume”：《24》，“author”：“M.Dummett”，“year”：“1959”，“unstructured”：“Dummett，M.：一个具有可数矩阵的命题演算。《符号逻辑杂志》\u00a024，96\u2013107（1959）”，“journal-title”：“”符号逻辑杂志“}，{”issue“：”3“，”key“：”19_CR7“，”doi-asserted-by“：”publisher“，”first page“：“795”，“doi”：“10.2307\/2275431”，“volume”：“57”，“author”：“R.Dyckhoff”，“year”：“1992”，“unstructured”：“Dyckhof，R.：直觉主义逻辑的无收缩序贯演算。符号逻辑杂志\u00a057（3），795\u2013807（1992）”，“新闻标题”：“符号逻辑杂志“}，{”key“：”19_CR8“，”doi-asserted-by“：”publisher“，”first page“：“319”，”doi“：”10.1093\/gigpal/7.3.319“，”volume“：‘7’，”author“：”R.Dyckhoff“，“year”：“1999”，“unstructured”：“Dyckhof，R.：G\u00f6del-Dummett逻辑的确定性终止序贯演算。IGPL\u00a07，319\u2013326（1999）”，“journal-title“：”IGPL的逻辑杂志“}，{“key”：“19_CR9”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“48”，“doi”：“10.1007\/978-3-540-45206-5_7”，“volume-title”：《使用分析表和相关方法的自动推理》，“author”：“C.Ferm\u00fcller”，“year”：“2003”，“unstructured”：“Ferm\u00fcller，C.：中级逻辑的并行对话游戏和超序列。收录：Cialdea Mayer，M.，Pirri，F.（编辑）TABLEAUX 2003。LNCS，第u00a02796卷，第48\u201364页。Springer，Heidelberg（2003）“}，{”key“：”19_CR10“，”首页“：”65“，”volume“：“69”，”author“：”K.G\u00f6del“，”year“：”1932“，”unstructured“：”G\u006del，K.：Zum直觉主义Aussagenkalk\u00fcl.Anzeiger Akademie des Wissenschaften Wien\u00a069，65\u201366（1932）“，”journal title“：”Anzeiger-Akademie-des Wisenschaften senschaften-Wien“}，{”键“：”19_CR11“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-94-011-5300-3“，”volume-title“：”模糊逻辑的元数学“，”author“：”P.Hajek“，”year“：”1998“，”unstructured“：”Hajek，P.：模糊逻辑的元数学“。Kluwer Academic Publishers，Dordrecht（1998）“}，{”key“：”19_CR12“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“94”，”doi“：”10.1007\/3-540-45620-1_7“，”volume-title“：“自动演绎-CADE-18”，”author“：”D.Larchey-Wendling“，”year“：”2002“，”unstructured“：”Larchey-Wendling，D.：结合证明搜索和反模型构建来确定G\u00f6del-Dummett逻辑。收录：Voronkov，A.（编辑）CADE 2002。LNCS（LNAI），第u00a02392卷，第94\u2013110页。Springer，Heidelberg（2002）“}，{”key“：”19_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“413”，“doi”：“10.1007\/978-3-540-45220-1_33”，“volume-title”：“Computer Science Logic”，“author”：“G.Metcalfe”，“year”：“2003”，“unstructured”：“Metcalfe，G.，Olivetti，N.，Gabbay，D.：G\u00f6del-Dummett Logics的目标导向演算。收录人：Baaz，M.，Makowsky，J.A.（编辑）CSL 2003。LNCS，卷\u00a02803，第413\u2013426页。Springer，Heidelberg（2003）“}]，“container-title”：[“自动推理”，“计算机科学课堂笔记”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-25984-8_19.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{日期部分”：[[2021,5,3]]，“日期-时间”：“2021-05-03T03:21:20Z”，“时间戳”：1620012080000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-25984-8_19”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2004]]｝，“ISBN”：[“9783540223450”，“9783540259848”]，“引用计数“：13，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-25984-8_19“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，“type”：“print”}，{”价值“：”1611-33049“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2004]]}}}}