BriefGPT.xyz
Jan, 2023
命题Krom逻辑程序的最小模型和一致等价的代数表征
Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
HTML
PDF
Christian Antić
TL;DR
本研究提供了关于最小模型语义等价性和命题Krom逻辑程序的一致等价性的代数表征。
Abstract
This research note provides
algebraic characterizations
of
equivalence
with respect to the
least model semantics
, and of uniform
→