一类可判定的 n 元 Horn 谓词
计算机科学中的逻辑
2014-04-09 v1
摘要
类似于树文法，Horn 理论可用于描述无限的项集合。本文提出一类 Horn 理论，使得可定义谓词集合关于合取是封闭的，且谓词的可满足性是可判定的。这一结果推广了先前关于一元谓词 Horn 子句的研究。
引用
@article{arxiv.1404.1947,
title = {Eine entscheidbare Klasse n-stelliger Horn-Pr\"adikate},
author = {Jochen Burghardt},
journal= {arXiv preprint arXiv:1404.1947},
year = {2014}
}
备注
in german; 11 pages