{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,6,20]]，“日期时间”：“2024-06-20T07:15:00Z”，“时间戳”：1718867700217}，“参考计数”：14，“出版商”：“杜克大学出版社”，“问题”：“1”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[2005,1,1]]}，”DOI“：”10.1305\/ndjfl\/1107220674“，”type“：”journal-article“，”created“：”{”data-parts”：[[20005,2,1]]，“date-time”：“2005-02-01T17:35:55Z”，“timestamp”：1107279355000}，“source”：“Crossref”，“is-referenced-by-count”：40，“title”：[“Intermediate Logics and Visser’s Rules”]，“前缀”：“10.1215”，“卷”：“46“，”author“：[{”given“：”Rosalie“，”family“：”Iemhoff“，”sequence“：”first“，”affiliation“：[]}]，”member“：”73“，”reference“：[}”key“：“3”，”doi-asserted-by“：“crossref”，“unstructured”：“Chagrov，A.，and M.Zakharyaschev，模态逻辑，第35卷，共页《牛津逻辑指南》（Oxford Logic Guides），克拉伦登出版社，纽约，1997年。“，“DOI”：“10.1093\/oso\/9780198537793.0001”}，{“key”：“1”，“DOI-asserted-by”：“publisher”，“unstructured”：“Baaz，M.，A.Ciabattoni，and C.G.Ferm\u00fcller，“G的超序列计算”\u00f6del logics\u2013-A调查，《逻辑与计算杂志》，第13卷（2003），第835\u201361页。“，“DOI”：“10.1093\/logcom\/13.6.835”}，{“key”：“2”，“unstructured”：“Blackburn，P.，M.de Rijke，和Y.Venema，模态逻辑，第53卷，共页《剑桥理论计算机科学丛书》，剑桥大学出版社，剑桥，2001年。“}，{”key“：”4“，”doi-asserted-by“：”publisher“，”unstructured“：”Dummett，M.“带可数矩阵的命题演算”，《符号逻辑杂志》，第24卷（1959年），第97\u2013106页。“，“DOI”：“10.2307\/2964753”}，{“key”：“5”，“DOI-asserted-by”：“publisher”，“unstructured”：“Gabbay，D.M.和D.H.J.De Jongh，“具有析取性质的可判定有限公理化中间逻辑序列”，《符号逻辑杂志》，第39卷（1974年），第67\u201378页。“，”DOI“：”10.2307\/2272344“}，{“key”：“6”，“DOI-asserted-by”：“publisher”，“unstructured”：“Ghilardi，S.，”直觉主义逻辑的统一“，《符号逻辑杂志》，第64卷（1999年），第859\u201380页，《IGPL逻辑杂志》，第10卷（2002年），第229\u201343页。“，”DOI“：”10.1093\/jigpal\/10.3.229“}，{“key”：“8”，“unstructured”：“G\u00f6del，K.，”u00dcber U“nabh\u00e4ngigkeitsbeweise im Aussagenkalk\u00fcl，Ergebnisse eines mathematicschen Kolloguiums<\/i>，第4卷（1933年），第9\u201310.页，《符号逻辑杂志》，第66卷（2001年），第281\u201394页，《纯粹逻辑与应用逻辑年鉴》，第113卷（2002年），第161\u201373页。第一届圣彼得堡逻辑与计算日会议（1999年）。“，”DOI“：”10.1016\/S0168-0072（01）00056-2“}，{”key“：”11“，”DOI-asserted-by“：”crossref“，”unstructured“：”Iemhoff，R.“朝向可采性的证明系统”，第255\u201370页计算机科学逻辑，第2803卷《计算机科学讲义》，柏林斯普林格，2003年，Archiv f\u00fcr mathematische Logic und Grundlagenforschung，第3卷（1957），第74\u201378页。“，“DOI”：“10.1007\/BF01988049”}，{“key”：“13”，“unstructured”：“Roziere，P。，Regles Admissibles en Calcul Propositionnel Intuitionniste，巴黎第七大学博士论文，1992年。“}，{“key”：“14”，“unstructured”：“Rybakov，V.V。，逻辑推理规则的可接受性，第136卷《逻辑学和数学基础研究》（Studies in Logic and the Foundations of Mathematics），北霍兰德出版公司，阿姆斯特丹，1997年intended-application“：”相似性检查“}]，”存放“：{”日期-部分“：[2024,1,30]]，”日期-时间“：”2024-01-30T20:56:13Z“，”时间戳“：1706648173000}，”分数“：1，”资源“：”主要“：”URL“：”https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-46\/issue-1\/Intermediate-Logics-and-Vissers-Rules\/10.10305\/ndjfl\/1107220674.full“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2005,1]]}，“references-count”：14，“journal-issue”：{“issue”：“1”，“published-on-line”：{“date-part”“：[[2005,1,1]]}}，”URL“：”http:\/\/dx.doi.org\/10.1305\/ndjfl\/1107220674“，”关系“：{}，”ISSN“：[”0029-4527“]，”ISSN-type“：[{”value“：”0029-4.527“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2005,1]]}}}}