Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
本卷《电子理论计算机科学论文集》（EPTCS）汇编了第21届逻辑框架与元语言理论与实践国际研讨会（LFMTP 2026）提交的论文，该研讨会作为 FLoC 2026 会议下的卫星会议，于2026年7月24日在葡萄牙里斯本举行。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一个名为 FLoC 2026 的巨大、繁忙的数字会议中心，世界最敏锐的思想家们聚集于此，共同构建如何让计算机思考的终极规则手册。在这座宏伟的大厅内，有一个被称为 LFMTP 2026 的特别且温馨的侧室。这不仅仅是一个普通的侧室；这是这个特定小组第 21 次聚在一起，交换关于“逻辑框架与元语言”的想法。请将这些框架视为并非代码，而是建筑蓝图和通用语法，它们告诉计算机如何构建有效的论证，而永远不会因自身逻辑混乱而绊倒。
在 2026 年 7 月 24 日，在阳光明媚的葡萄牙里斯本，这个房间里坐满了展示他们最新论文的贡献者。这些论文被收集在一个名为电子理论计算机科学论文集（EPTCS）的特殊数字卷册中。它就像是一本记录了那一天期间所绘制的最聪明草图与理论的年鉴。
由奥利维尔·赫尔曼特（Olivier Hermant）和索菲·图雷特（Sophie Tourret）领导的负责挑选这些想法的团队，扮演着非常严格且非常酷的艺术画廊策展人的角色。他们并非任由任何人进入；他们选择了那些推向“真理”与“结构”定义边界的特定论文。这次聚会并非凭空发生；它是一个卫星活动，意味着它伴随着第 11 届国际计算与演绎形式结构会议（FSCD 2026）一同飞行，乘着这个更大、更著名的会议的浪潮而来。
那么，核心要点是什么？这份文件仅仅是那些在当天发表的特定演讲和论文的合集。它并不声称已经解决了宇宙中的每一个谜团，也没有制造出一个能独立思考的机器人。相反，它提供了一个当前技术水平的快照：一份经过策划的列表，展示了专家们目前正在探索的理论与方法，以确保我们的数字逻辑保持稳固、一致且无误。如果你想看到那些塑造计算机逻辑未来的人们的原始、未经滤镜处理的思想，这个卷册就是通往他们最新发现的地图。欲了解这场持续旅程的更多细节，可以访问他们的数字主页：https://lfmtp.org。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。