{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T14:18:20Z”，“时间戳”：1648563500478}，“引用-计数”：18，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[2014,3,12]]，“date-time”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2568，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,3]}”，“abstract”（摘要）：“摘要<\/jats:title>本文从可计算逻辑的语义出发，对直觉演算的蕴涵片段给出了一个稳健性和完备性证明，将直觉蕴涵理解为交互式算法约简。这个概念，更准确地说，相关的可约性概念，是图灵可约性从传统的输入/输出问题到任意交互程度的计算任务的推广<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668394“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:33Z“，”timestamp“：1198081473000}，”page“：“243-276”，“source”：“Crossref”，“is-referenced-by-count”：14，“title”：[“交互式图灵化简的逻辑”]，“前缀”：“10.1017”，“volume”“：”72“，”作者“：[{”给定“：”乔治“，”family“：”Japaridze“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200005582_ref016“，”first page“：_ref015“，”首页“：”58\u201365“，”article-title“：”Zur Deutung der直觉主义逻辑学“，”volume“：”35“，”author“：”Kolmogorov“，”year“：”1932“，”journal-title”：“Zeitschrift f \u00fcr Mathematische Logik und Grundlagen der Mathematik”}，{“key”：“S0022481200005582_ref014”，“volume-title（卷）：“元数学导论”，“author”：“Kleene”，“year”：“1952”}200005582_ref013“，”volume-title“：“逻辑和游戏：基本观点”，“作者”：“Japaridze”}，{“key”：“S0022481200005582_ref012”，“非结构化”：“Jacaridze G.，直觉计算逻辑，《控制论学报》，即将出版。”}、{“密钥”：“SO0022481120005582_ref005”，“doi-asserted-by”：“出版商”，“doi”：“10.1111\/j.1746-8361.1958.tb01464.x”}“，{”key“：”S0022481200005582_ref003“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（85 Paradigm”，“author”：“Japaridze”，“year”：“2006”}，{“key”：“S0022481200005582_ref008”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/j.tcs.2006.03.014“}，{”key“：”S0022484120005582_ref011“，”volume-title“：”Theory Computer Science“，”author“：”Japaridze“}：“用有限问题解释逻辑公式及其与可实现性理论的关系”，“卷”：“4”，“作者”：“梅德韦杰夫”，“年份”：“1963年”，“期刊标题”：“苏维埃数学Doklady”}，{“关键”：“S0022481200005582_ref009”，“第一页”：“302\u2013330”，“文章标题”：：“Japaridze”，“year”：“2006”，“journal-title”：“ACM Transactions on Computational Logic”}，{“key”：“S0022481200005582_ref002”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0168-0072（92）90073-9“}，”{“密钥”：“SO002248125000582_ref004”，《首页》：“1\u2013102”，“article-title“：”线性逻辑“，”卷：“50”，“author”：“Girard”，“年份”：“1987年”，“新闻标题”：“理论计算机科学”}，{“key”：“S0022481200005582_ref017”，“首页”：“193\u2013200”，“volume-title”：“无限论方法，数学基础研讨会论文集”，“author”：“Lorenzen”，“year”：“1961”}：“S0022481200005582_ref010”，“首页”：“331\u2013362”，“文章标题”：“命题可计算性逻辑II”，“卷”：“7”，“作者”：“Japaridze”，“年份”：“2006”，“日志标题”：《ACM计算逻辑事务》}]，“容器标题”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005582”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005582\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2007,3]]}，”references-count“：18，”journal-issue“：{”issue“：”1“，”published-print“：”{“date-parts”：[2007,3]}}、“alternative-id”：[“S002244”81200005582“]，”网址“：“http://\/dx.doi.org\/10.2178\/jsl\/1174668394”，“关系”：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“值”：“0022-5812”，”type“：”print“}，{“value”：“1943-58”，”类型“：”electronic“}]，“主题”：[]，“发布”：{“日期段”：[[2007,3]]}}}}