论模糊全称 Horn 类中自由模型的存在性
逻辑
2017-05-11 v2
摘要
本文对谓词模糊逻辑的全称 Horn 片段研究作出贡献，聚焦于逻辑编程中的一些相关概念。我们引入了与模糊上下文中公式集相关的项结构概念，并展示了模糊全称 Horn 类中自由模型的存在性。我们证明每个无等式一致全称 Horn 模糊理论都有一个 Herbrand 模型。
引用
@article{arxiv.1704.07302,
title = {On the existence of Free Models in Fuzzy Universal Horn Classes},
author = {Vicent Costa and Pilar Dellunde},
journal= {arXiv preprint arXiv:1704.07302},
year = {2017}
}
备注
Journal of Applied Logic (Published online 2016)