逻辑列第 14 号：名义逻辑与抽象语法
计算机科学中的逻辑
2007-05-23 v1
摘要
形式化逻辑、编程语言、安全协议及其他形式系统属性的语法证明是一个重大挑战，部分原因是必须正确处理名称绑定。我们提出了一种称为名义抽象语法的 метод，自其约 6 年前提出以来已吸引了相当大的关注。我们在概述其他方法之后，描述了名义抽象语法和名义逻辑——一种用于推理关于名义抽象语法的逻辑。我们还讨论了名义技术在编程、自动推理中的应用，并指出了一些未来方向。
引用
@article{arxiv.cs/0511025,
title = {Logic Column 14: Nominal Logic and Abstract Syntax},
author = {James Cheney},
journal= {arXiv preprint arXiv:cs/0511025},
year = {2007}
}
备注
24 pages