有理Pavelka谓词逻辑上Horn子句的项模型
逻辑
2017-05-29 v1
摘要
本文对谓词模糊逻辑的泛Horn片段研究做出贡献，聚焦于证明有理Pavelka谓词逻辑上Horn子句理论的自由模型的存在性。我们定义与有理Pavelka谓词逻辑上每个一致理论T相关的项结构概念，并证明T的项模型在T的所有模型类上是自由的。最后，表明若T是一组Horn子句，则与T相关的项结构是T的一个模型。
引用
@article{arxiv.1705.09572,
title = {Term Models of Horn Clauses over Rational Pavelka Predicate Logic},
author = {Vicent Costa and Pilar Dellunde},
journal= {arXiv preprint arXiv:1705.09572},
year = {2017}
}
备注
International Symposium on Multiple-Valued Logic 2017