毛里西奥·阿亚拉·里科（编辑）;爱德华多·博内利（编辑） 第16届逻辑和语义框架及其应用国际研讨会论文集，LSFA，阿根廷布宜诺斯艾利斯，在线，2021年7月23日至24日。 （英语） Zbl 1489.68006号 理论计算机科学电子论文集（EPTCS）357.滑铁卢：开放出版协会（OPA）。111页。，仅电子化、开放存取（2022年）。 引言：本卷包含《第十六个逻辑和语义框架及其应用》（LSFA 2021）的后记。会议于2021年7月23日至24日在网上举行，由阿根廷布宜诺斯艾利斯大学主办。LSFA于2006年在纳塔尔（LSFA06）成立，第二届和第三届分别在乌罗普雷托（LSFA07）和萨尔瓦多（LSFA08）举行，始终是巴西形式方法研讨会（SBMF）的附属活动。2009年（LSFA09），它作为2009年巴西RDP的卫星活动举行，随后是纳塔尔ICTAC的卫星活动（LSFA10）。自第六届以来，它一直在贝洛奥里藏特（LSFA11）、里约热内卢和尼特罗伊（LSFA12）以及圣保罗（LSFA13）单独举办。在过去的几年里，LSFA分别在巴西利亚（LSFA14）和纳塔尔（LSFA15）举行，作为NAT@逻辑2015第十一届（LSFA16）是2016年金融稳定与发展会议（FSCD）在巴西利亚波尔图举行的卫星活动，第十二届（LSFA17）是在巴西举行的，第十三届（LSFA18）是在福塔莱萨单独举办的，第十四届（LSFI19）是2019年纳塔尔CADE的卫星活动。第十五版（LSFA20）在巴伊亚举行，第一届巴西逻辑WBL研讨会。LSFA旨在让研究人员和学生对逻辑和语义框架及其应用的理论和实践方面感兴趣。涵盖的主题包括证明理论、类型理论和重写理论、规范和演绎语言以及语言和系统的形式语义。对于LSFA 2021，在12份完整提交的文件中，有7份定期提交。至少有三名评审员审查了每份提交的文件，并使用沃伦科夫的EasyChair系统举行了一次电子项目委员会会议。评审由PC成员和另外一名评审员撰写。会后，对论文的修订版进行了审查，最终将六篇常规论文纳入本卷。此外，本卷还包括与Alejandro Díaz-Caro受邀演讲相关的修订技术贡献。本卷的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 1451.68025号]. 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的论文集、会议、合集等 03B70号 计算机科学中的逻辑 68问题55 计算理论中的语义学 00B25型 杂项特定利益的会议记录 引文：Zbl 1451.68025号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincon}（ed.）和\textit{E.Bonelli}（edi.），逻辑和语义框架及其应用第16届国际研讨会论文集，LSFA，阿根廷布宜诺斯艾利斯，在线，2021年7月23日至24日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1489.68006） 全文： 内政部 链接