{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,22]]，“日期-时间”：“2023-10-22T05:12:03Z”，“时间戳”：1697951523136}，“参考-计数”：2，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：{-“日期-零件”：[[1986,6,1]]，”日期-时间“：“1986-06-01T00:00:00Z”，“timestamp”：51796800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Stud Logica“]，”published-print“：{”date-parts“：[[1986,6]}”，“DOI”：“10.1007\/bf00373275”，“type”：“journal-article”，“created”：{“date-parts”：[[2004,11,4]]，“date-time”：“2004-11-04T10:59:19Z”，“timestamp”：1099565959000}，“page”：“199-206”，“source”：”Crossref”，“is-referenced-by-count”：9，“title”：[“Dummett逻辑LC的语义树”]，“prefix”：“10.1007”，”volume“：“45”，“author”：[{“givena”：“Giovanna”，“family”：“Corsi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”“，”引用“：[{”键“：”CR1“，“doi-asserted-by”：“crossref”，“first page”：“96”，“doi”：“10.1017\/S0022481200125848”，“volume”：”24“，“author”：“M.Dummett”，“year”：“1959”，“unstructured”：“M.Dummet，一个具有可数矩阵的命题演算，《符号逻辑杂志》，第24卷（1959），第96？107页。”，“Journal-title”：“Journal of Symbolic Logic”}，{“key”:“CR2”，“非结构化”：“O。Sonobe，一些中间命题逻辑的Gentzem型表述，《津田学院学报》，第7期（1975年），第7页？13.“}]，”container-title“：[”Studia Logica“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF00373275.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http://link.springer.com/article\/10007 \/BF00373275\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF00373275”，“content-type:”unspecified“，”content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,4,8]]，“date-time”：“2019-04-08T21:45:09Z“，”timestamp“：1554759909000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/BF00373275”}}，“副标题”：[]，“短标题”：[]，“已发布”：{-“日期段”：[[1986,6]]}，‘参考数’：2，‘日志发布’：{‘发布’：“2”，‘发布发布’：“alternative-id”：[“BF00373275”]，“URL”：“http:\/\/dx.doi.org\/10.1007\/bf00373275“，”关系“：{}，”ISSN“：[”0039-3215“，”1572-8730“]，”ISSN-type“：[{”value“：”0039-315“，“type”：“print”}，{”value“：”1572-8630“，”type“:”electronic“}]，”主题“：[]，”发布“：{”日期部分“：[[1986,6]]}}}}