{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T01:18:43Z”，“时间戳”：1648862323846}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_26”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”272-292“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“分离经典逻辑合成与分解的强Paraconsistence“]，“prefix”：“10.1007”，“author”：[｛“given”：“Peter”，“family”：“Verd\u00e9e”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“26_CR1”，“nonstructured”：“Batens，D.：这可能是经典逻辑。Logique et Analyze，\n\nhttp:\/\/logica.ugent.be\/centrum\/preprints\/PCL.pdf”｝，｛“key”：“26_CR2”，“非结构化”：“Batens，D.：不一致自适应逻辑。摘自：Or\u0142owska，E.（编辑）《工作中的逻辑》，《纪念海伦娜·拉西奥瓦的论文》，第445\u2013472页。Physica Verlag（Springer）（1999）“}，{”key“：”26_CR3“，”first page“：“15”，“volume-title”：“科学推理的计算机建模”，“author”：“D.Batens”，“year”：“2003”，“unstructured”：“Batens，D.：问题解决的形式化方法。In:Delrieux，C.，Legris，J.（eds.）《科学推理的计算建模》，第15\u201326页。苏尔国立大学，巴伊亚·布兰卡（2003）“}，{”key“：”26_CR4“，”first page“：“113”，”volume“：：”173-175“，”author“：”D.Batens“，”year“：”2001“，”unstructured“：”Batens，D.，Provijn，D.：推进证明中的搜索路径。证据启发式研究。Logique et Analyse \u00a0173-175，113\u2013134（2001）（2003年出版）“，”journal-title“：”Logique et Analyse“}，{“key”：“26_CR5”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”44“，“doi”：“10.1007 \/3-540-60112-0_6”，“volume-title”：”推理和不确定性的符号和定量方法“，“author”：“P.Besnard”，“year”：“1995”，“unstructured”：“Besnard，P.，Hunter，A.：准经典逻辑：不一致信息的非可对易经典推理。收录：Froidevaux，C.，Kohlas，J.（编辑）ECSQARU 1995。LNCS，第u00a0946卷，第44\u201351页。Springer，Heidelberg（1995）“}，{”issue“：“3”，”key“：“26_CR6”，”doi-asserted-by“：”publisher“，”first page“：”250“，”doi“：”10.2307\/2963593“，”volume“:”22“，”author“：”W.Craig“，”year“：”1957“，”unstructured“：”Craig，W.：线性推理。Herbrand-Gentzen定理的一种新形式。符号逻辑杂志\u00a022（3），250\u2013268（1957）“，“新闻标题”：“《符号逻辑杂志》“}，{”key“：”26_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”D\u2019Agostino，M.，Floridi，L.：演绎的持久丑闻。Synthese 167（2）（2009）“，”doi“：”10.1007\/s11229-008-9409-4“}”，{“key”：“26_CR8”，“doi-assert-by”：“publisher”，“first-page”：“405”，“doi”：“10.1007\/BF01201363”，“卷“：”39“，”作者“：”G。Gentzen”，“年份”：“1935年”，“非结构化”：“Gentzene，G.：Untersuchungen\u00fcber das logische schlie\u00dfen。ii、。Mathematische Zeitschrift\u00a039，405\u2013431（1935）ISSN 0025-5874“，“日志标题”：“Mathematishe Zeitschricft”}，{“key”：“26_CR9”，“doi-asserted-by”：“publisher”，“first page”：”677“，“doi”：“10.1093\/logcom\/10.5.677”，“卷”：“10”，“作者”：“A.Hunter”，“年份”：“1999”，“非结构化”：“Hunter，A.：使用准经典逻辑用矛盾信息进行推理。《逻辑与计算杂志》\u00a010，677\u2013703（1999）“，”期刊标题“：”《逻辑与计算杂志》}，｛”键“：”26_CR10“，”系列标题“：”人工智能讲义“，”doi断言“：”出版商“，”首页“：”544“，”doi“：”10.1007\/3-540-444652-4_48“，”卷标题“：”不确定性推理的符号和定量方法”，“作者”：“A.Hunter”，“年份”：“2001”，“非结构化”：“Hunter，A.：一阶准经典逻辑的语义表版本。收录：Benferhat，S.，Besnard，P.（编辑）ECSQARU 2001。LNCS（LNAI），第u00a02143卷，第544\u2013555页。Springer，Heidelberg（2001）“}，{“key”：“26_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Jago，M.：逻辑信息与认知空间。Synthese 167（2）（2009）”，“doi”：“10.1007\/s11229-008-9411-x”}Provijn，D.：Prospective dynamick。菲罗索菲舍·恩·特尼舍舍·奥德布瓦恩·多尔格里希特·贝伊杰岑·恩·贝伊杰西提肯。比利时根特大学博士论文（2005）（未发表的博士论文）“}]，“容器-时间”：[“逻辑、语言、信息和计算”，“计算机科学讲义”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_26”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{”日期-部分“：[[2019,5,23]]，”日期-时间“：”2019-05-23T05:36:52Z“，”时间戳“：1558589812000}，”分数“：1，”资源“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3642-20920-826”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2011]]}，“ISBN”：[“9783642209192”，“9783642209208“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-642-20920-8_26“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-pa”rts“：[[2011]]}}