带定义的一阶谓词逻辑
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
带定义的一阶谓词逻辑（PLD 或 D-logic）是对一阶逻辑的一种修改，主要面向数学的实用形式化。D-logic 的主要句法构造为项、公式与定义。定义可以是变量定义、常量定义或复合定义（D-logic 亦有称为缩写的缩写定义）。定义可用于项与公式内部。这一可能缓解了引入新量化词式名称的需要。复合定义允许由已有定义构造新定义。
引用
@article{arxiv.cs/9906010,
title = {Predicate Logic with Definitions},
author = {Victor Makarov},
journal= {arXiv preprint arXiv:cs/9906010},
year = {2007}
}
备注
15 pages