{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,7,15]]，“日期-时间”：“2024-07-15T09:14:53Z”，“时间戳”：1721034893279}，“参考-计数”：9，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：“日期-零件”：[[2014,3,12]]，“时间“：”2014-03-12T00:00:00Z“，”时间戳“：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：4759，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2001,3]]}”，“abstract”（摘要）：“摘要<\/jats:title>我们为直觉命题逻辑的可容许规则提供了一个基础。从而证明了de Jongh和Visser的一个猜想。我们还提出了一个可容许规则的证明系统，并给出了可容许性的语义准则<\/jats:p>“，”DOI“：”10.2307\/2694922“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,5,6]]，”date-time“：”2006-05-06T18:03:53Z“，”timestamp“：1146938633000}，”page“：“66”，“作者”：[{“给定”：Rosalie“，”family“：”Iemhoff“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200011324_ref009“，”unstructured“：”[待出现]Visser A.，规则和算术，《圣母院形式逻辑杂志》，（待出现）。title“：”数学中的建构主义I”，“作者”：“Troelstra”，“年份”：“1988”}，{“键”：“S0022481200011324_ref004”，“非结构化”：“[出现]Ghilhardi S.，直觉与德摩根逻辑的统一，本期刊，（出现）。”}，{“键”：“S0022481200011324_ref003”，“首页”：“619”，“卷”：“50”，“作者”：“好”，“年”：“1985”，“期刊标题”：“包含KA的逻辑，第二部分“}，{“key”：“S0022481200011324_ref002”，“首页”：“31”，“卷”：“34”，“作者”：“精细”，“年份”：“1974”，“日志标题”：“包含KA，第一部分”}，}“key:”S0022481 200011324_ ref006“，”doi-asserted-by“：”publisher“，页面“：”27“，”卷“：”25“，”作者“：”Harrop”，“年份”：“1960”，“期刊标题”：“关于直觉形式系统中A\u2192 B\u22c1 C，A\u2192（Ex）B（x）类型的公式”｝，｛“密钥”：“S0022481200011324_ref007”，“卷标题”：“逻辑推理规则的可容许性”，“作者”：“Rybakov”，“年份”：“1997”｝，｛“密钥”：“S0022481200011324_ref001”，“doi断言者”：“发布者”，“doi”：“10.1070\/SM1977v031n02ABEH002303“}]，“container-title”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200011324”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts“：[[2019,5,8]]，“date-time”：“2019-05-08T00:45:45Z”，“timestamp”：1557276345000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200011324\/type\/journal_article”}}，”substitle“：[]，”shorttitle“[]，“issued”：{“date-part”：[[2001,3]}，“references-count”：9，“journal-issue”：{“issue”：“1”，“published-print“：{”date-parts“：[[2001,3]]}}，”alternative-id“：[”S0022481200011324“]，”URL“：”http://\/dx.doi.org\/10.2307\/2694922“，”relationship“：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'”，“type”:“print”}，{“value”：“1943-5886'，”type“：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2001,3]]}}