{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,12,30]]，“日期-时间”：“2022-12-30T22:29:54Z”，“时间戳”：16724393485}，“引用-计数”：7，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“4”，“许可证”：[{“开始”：{:“日期-零件”：[[2014,3,12]]，“date-time”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2293，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,12]}”，“abstract”：“”摘要<\/jats:title>本文提出了直觉逻辑的两种计算方法。第一个。IG的特点是，每个证明都会终止，并且在不损害子公式属性的情况下终止。对于第二个SIC，证明搜索终止，子公式属性被保留，而且证明搜索是在不依赖元规则的情况下执行的，特别是不需要回溯。因此，微积分SIC中的证明研究是由单一<\/jats:italic>树，与经典逻辑中一样<\/jats:p>“，”DOI“：”10.2178\/jsl\/1203350782“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,3,25]]，”date-time“：”2008-03-25T18:42:11Z“，”timestamp“：1206470531000}，”page“：“1204-1218”，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“从所有元规则中解放的直觉逻辑”]，“前缀”：“10.1017”，“卷”：“72”，“作者”：[{“给定”：“Giovanna“，”family“：”Corsi“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Gabriele”，”faily“：“Tassi”，“sequence”：“additional”，“affiliation:[]}]，”member“：”56“，”published-online“：{“date-parts”：[[2014,3,12]}，“reference”：[{“key”：”S0022481200004874_ref005“，”volume-title“：”TABLEAUX'96的会议记录“，”卷“：”“1071”，“作者”：“豪尔丁”，“年份”：“1996”}，{“key”：“S0022481200004874_ref004”，“首页”：“795”，“卷”：“57”，“作者”：“Dyckhoff”，“年份”：“1992”，“日志标题”：“直觉逻辑的无收缩序列计算”}，{”key“：”S0022481 200004874_ ref001“，“首页数”：“939”，“卷宗”：“52”，“作家”：“Avron”，”年份“1987”，“新闻标题”：”RM的建设性分析}，{“键”：“S0022481200004874_ref003”，“首页”：“26”，“卷时间”：“意大利的逻辑和哲学，一些趋势和观点”，“作者”：“科尔西”，“年份”：“2006”}，{“关键”：“S0224812000048 74_ref006”，”首页“：”900“，”卷“：”48：“S0022481200004874_ref007”，“volume-title”：“基本证明理论”，“author”：“Troelstra”，《年份》：“1996”}，{“key”：“S022481200004.874_ref002”，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF00373275“}]，”container-title“：[”符号逻辑杂志“]，”original-title：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200004874”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2019,5,1]]，“日期-时间”：“2019-05-01T19:42:40Z”，“时间戳”：1556739760000}，“分数”：1，“资源”：{primary：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200004874\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2007,12]]}，”references-count“：7，”journal-issue“：{”issue“：”4“，”published-print“：{”date-parts“：[2007,12]]}}”，“alternative-id”：[“S002244”81200004874“]，”网址“：“http://\/dx.doi.org\/10.2178\/jsl\/1203350782”，“关系”：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-7812”，”type“：”print“}，{“value”：“1943-58”，”类型“：”electronic“}]，“subject”：【】，“published”：{“date-parts”：【2007,12】}}}}