乌戈·达尔拉戈（编辑）;瓦莱里亚·德·佩瓦（编辑） 线性与线性逻辑和应用趋势第二届联合国际研讨会论文集，线性-TLLA，在线，2020年6月29日至30日。 （英语） Zbl 1489.03002号 理论计算机科学电子论文集（EPTCS）353.滑铁卢：开放出版协会（OPA）。212页。，仅电子化、开放存取（2021年）。 引言：本卷包含2020年6月29日至30日在网上举行的第二届线性与线性逻辑与应用趋势联合研讨会（线性与TLLA 2020）上提出的论文选集，该研讨会是由冠状病毒疫情引发的。该研讨会隶属于2020年IJCAR-FSCD的FSCD（计算和演绎的形式结构）以及LoVe（逻辑和验证）巴黎北夏的一部分。线性与TLLA 2020研讨会是第六版线性国际研讨会和第四版线性逻辑趋势及其应用国际研讨会的合并。最初的研讨会有很多共同点，无论是在提交的文章内容方面，还是在可能参加的研究人员方面，因此合并似乎是明智的，我们决定举办一个联合研讨会，由线性研讨会的一名组织者（Valeria de Paiva）一个来自线性逻辑和应用趋势研讨会（Ugo dal Lago）。这两个研讨会的目的都是将目前正在开发线性计算理论和应用的研究人员聚集在一起，或将线性逻辑用作技术工具或方法学科。线性与TLLA联合研讨会的目标是促进线性逻辑研究人员的互动，并提供一个论坛，以展示新想法和这些新想法的进展。该研讨会还使Linear Logic的新手能够了解该活跃领域的当前活动。自Girard引入线性逻辑（LL）以来，线性是一个关键问题，涵盖了数学逻辑和计算机科学几个领域的理论主题和应用，已经有了一系列研究。研究证明表示和解释（证明网、指称语义、交互几何等）、复杂性类（包括隐式复杂性）、编程语言，特别是基于线性逻辑的线性操作结构和类型系统，以及最近的概率和量子计算、程序分析、，使用LL思想讨论了表达操作语义、程序转换、更新分析和高效实现的技术。线性和LL的基本概念也可以作为通向数学（函数分析、范畴）以及语言学和哲学其他主题的桥梁。本卷的文章将单独进行审查。有关前面的研讨会，请参阅[兹比尔1436.68024]. MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 03楼52 线性逻辑和其他子结构逻辑的理论证明 00B25型 杂项特定利益的会议记录 引文：Zbl 1436.68024号 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}（编辑）和\textit{V.de Paiva}（主编），线性逻辑和应用中的线性趋势第二次联合国际研讨会论文集，线性TLLA，在线，2020年6月29日至30日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.03002） 全文： 内政部 链接