{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,7]]，“日期-时间”：“2024-06-07T15:53:23Z”，“时间戳”：1717775603017}，“参考-计数”：9，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：{'日期-部件“：[[2009,3,4]]，“时间“：”2009-03-04T00:00:00Z“，”时间戳“用法：123612480000}，“content-version”：“unspecified”，“delay-in-days”：6456，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[[1991,7]]}”，“abstract”：“”线性逻辑学科最近在理论计算机科学中变得非常重要。显然，Barr（1979）在中详细研究的*-自治范畴是线性逻辑的一个大片段的模型，尽管不完全适用于整个逻辑。由于主要参考文献已经绝版，而且该卷的大部分内容都是关于与手头的事情极为无关的结果，因此对该主题进行简短介绍似乎是合理的<\/jats:p>“，”DOI“：”10.1017\/s0960129500001274“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,3,4]]，”date-time“：”2009-03-04T04:02:54Z“，”timestamp“：1236139374000}，”page“：1“，”作者“：[{”给定“：”迈克尔“，”family“：”Barr“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2009,3,4]]}，”reference“：[{”key“：”S0960129500001274_ref009“，”first page“：“：”publisher“，”doi“：”10.1007\/978-3-642-99902-4_22“}，{“key”：“S09601950001274_ref008”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BFb0018360“}”，{”key“：”S0960129500001274_ref003“，”doi-assert-by“：”publisher“，《数学》，“卷”：“752”，“作者”：“楚”，“年”：“1979年“}，{“key”：“S09K129500001274_ref001”，“volume-title”：“数学课堂笔记”，“卷”：“752”，“author”：“Barr”，“年份”：“1979”}，“key“：”S0960129500001274-ref007 me-title“：“当代数学”volume“：”104“，”author“：”Makkai“}，{“key”：“S0960129500001274_ref005”，“unstructured”：“Lafont Y.（1988）From linear algebration to logic.print..”}]，“container-title”：[“Mathematical Structures in Computer Science”]，“original-title“：[]，”language“：”en“，”link“：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500001274“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposted”：{“date-parts”：[[2019,5,17]]，“datetime”：“2019-05-17T17:11:47Z”，“timestamp”：1558113107000}，“score”：1，“resource”：URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500001274\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[1991,7]]}，”references-count“：9，”journal-issue“：{”issue“：“2”，“published-print”：{“date-ports”：[[1991,7]}、“alternative-id”：[“S090129500001274”]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129500001274“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”0960-1095“，“type”：“print”}，{”value“：”1469-80072“，”type“:”electronic“}]，”subject“：【】，”published“：{”date-parts“：【1991,7]]}}}}