{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,31]]，“日期-时间”：“2022-03-31T22:04:49Z”，“时间戳”：1648764289502}，“参考-计数”：11，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“5”，“许可证”：[{“开始”：{:“日期-零件”：[[2015,7,20]]，：“2015-07-20T00:00:00Z”，“时间戳”：143735040000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,6]}我们根据康德对逻辑的区分来研究分析答案和综合性问题。这与证明理论特别相关：在证明网络中，上部是定位的，而下部是精神的：正确性方面的后验<\/jats:italic>（显式），先验<\/jats:italic>（隐式）用于处理结果的问题，通常是删减。区位精神和显性隐性的区分产生了四个部分，足以解释整个逻辑活动。\n个“，”DOI“：”10.1017\/s0960129515000407“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,7,20]]，”date-time“：”2015-07-20T05:30:25Z“，”timestamp“：1437370225000}，”page“：“827-849”，“source”：“Crossref”，”is-referenced-by-count“：2，“title”：[“先验语法I:确定性情况”]，“前缀”：“10.1017“，”卷“：”27“，”作者“：[{”给定“：”JEAN-YVES“，”家族“：”GIRARD“，”序列“：”第一“，”隶属关系“：[]}]，”成员“：”56“，”在线发布“：{”日期-部分“：[[2015,7,20]]}，”引用“：[}”密钥“：”S0960129515000407_ref5“，”doi-asserted-by“：”出版商“，”doi“：”10.1017\/CBO978051162919 50.017“}，{”key“：”S0960129515000407_ref10“，”doi-asserted-by“：”crossref“，”首页”：“1941”，“DOI”：“10.1016\/j.tcs.2010.12.020”，“文章标题”：“乘法加性证明结构的正确性是NL完全的”，“卷”：“412”，“作者”：“Mogbil”，“年份”：“2011”，“期刊标题”：“理论计算机科学”}，{“密钥”：“S0960129515000407_ref9”，“非结构化”：“Girard j.-Y（2016）先验语法II：不确定情况。《计算机科学中的逻辑方法》即将出版。“}，{”key“：”S0960129515000407_ref6“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2010.12.12.016“}、{”key“：”SO960129515000407“_ref3”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0304-3975（87）90045-4”}，“key”：：“10.1007\/BF01622878”}，{“key”：“S0960129515000407_ref1”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/978-3-319-12736-1_3“}，{“key”：“S096019515000407_ref8”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-94-007-4435-6_12”}，}“key”：”S0960129515000407_ref7“，”DOI-assert-by“：”publisher“：”221“，”volume-title“：”88年逻辑座谈会“，”author“：”Girard“，”year“：”1989年“}，{”key“：”S0960129515000407_ref11“，”unstructured“：”Seiller T.（2013）。交互图：指数。计算研究库，abs\/1312.1094，网址：http://\/arxiv.org\/abs\/1312.10.94.“}]，”container-title“：[”Computer Science中的数学结构“]，”original-title“:[]，”language“：”en“，”link“：[{”URL“：”https://www.cambridge.org/core\\/services\/aop cambridge core\\/content\\/view\\/S09601295515000407“，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2019,4,17]，“日期时间”：“2019-04-17T22:43:54Z”，“时间戳”：1555541034000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000407\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2015,7,20]]}，”references-count“：11，”journal-issue“：{”issue“：“5”，”published-print“：{”date-parts“：[2017,6]}}”，“alternative-id”：[“S090129515”000407“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s0960129515000407“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”09601295“，”type“:”print“}，{”value“：”1469-80072“，”类型“：”electronic“}]，”主题“：[]，”发布“：{”日期段“：[2015,7,20]]}}}}