稳定模型语义下无穷公式的等价性
计算机科学中的逻辑
2020-02-19 v1
摘要
在直觉主义逻辑或其扩展（即此处与彼处逻辑）中等价的命题公式具有相同的稳定模型。我们将此定理推广到具有无限长合取和析取的命题公式，并展示了如何将此推广应用于证明答案集编程中聚合（aggregates）的性质。本文将发表于《逻辑编程的理论与实践》（TPLP）。
引用
@article{arxiv.1403.6689,
title = {On Equivalence of Infinitary Formulas under the Stable Model Semantics},
author = {Amelia Harrison and Vladimir Lifschitz and Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:1403.6689},
year = {2020}
}