命题Krom逻辑程序的最小模型与一致等价性的代数刻画
计算机科学中的逻辑
2023-12-13 v2 人工智能
摘要
本研究札记给出了命题Krom逻辑程序的最小模型、包含关系以及一致等价性的代数刻画。
关键词
引用
@article{arxiv.2302.04664,
title = {Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2302.04664},
year = {2023}
}