伊利亚诺·塞维萨托 逻辑框架。为什么不只是经典逻辑？ （英语） Zbl 0967.03027号 Faller，Martina（编辑）等人，《信息动力学的形式化》。加州斯坦福：CSLI，语言与信息研究中心。CSLI法律。笔记。91, 87-104 (2000). 摘要：我最近应邀就逻辑框架LLF做了一个演讲。在40分钟的演讲中，我揭示了潜在类型理论的复杂性，并通过示例说明了这种新语言的元再现奇迹，听众中有人说：“这看起来很复杂。为什么不使用，比如说，经典逻辑呢？”在这一章中，我以当时即兴的答案为基础。我会回忆起什么是逻辑框架，并尝试激发它们经常依赖的简单但不熟悉的结构。关于整个系列，请参见[Zbl 0939.0009]. 引用于1文件 MSC公司： 03B70号 计算机科学中的逻辑 03B35型 证明和逻辑操作的机械化 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：演绎系统;Horn子句;种类;高阶项;遗传哈洛普公式;依赖类型;逻辑框架 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}，in：形式化信息动力学。加州斯坦福：CSLI，语言与信息研究中心。87-104（2000年；兹bl 0967.03027）