The results of [15, 9, 10, 3] show,

The results of [15, 9, 10, 3] show, on the other hand, that replacing a group
of rules within a Datalog program with another group of rules does not affect
the class of stable models whenever the two sets of rules are intuitionistically
equivalent.8
(Formulas (6) are equivalent to each other classically, but not intuitionistically.)
We can say even more: Datalog programs (F1, p) and (F2, p) have the same
stable models if F1 ↔ F2 is intuitionistically entailed by the sentences

Kết quả (Việt) 1:

Kết quả của [15, 9, 10, 3] cho thấy, trên mặt khác, thay thế một nhómCác quy tắc trong Datalog một chương trình với một nhóm các quy tắc không ảnh hưởng đếnCác lớp học của các mô hình ổn định bất cứ khi nào hai bộ quy tắc là intuitionisticallyequivalent.8(Công thức (6) là tương đương với nhau theo kiểu cổ điển, nhưng không phải intuitionistically.)Chúng tôi có thể nói nhiều hơn: Datalog chương trình (F1, p) và (F2, p) có cùng mộtổn định các mô hình nếu F1 ↔ F2 là intuitionistically entailed bởi các câu

Kết quả (Việt) 2:

Các kết quả của [15, 9, 10, 3] cho thấy, mặt khác, mà thay thế một nhóm
các quy tắc trong một chương trình Datalog với một nhóm các quy tắc không ảnh hưởng đến
các lớp của mô hình ổn định bất cứ khi nào hai bộ quy tắc là intuitionistically
equivalent.8
(công thức (6) tương đương với mỗi cổ điển khác, nhưng không intuitionistically.)
Chúng tôi có thể nói nhiều hơn: chương trình Datalog (F1, p) và (F2, p) có cùng một
mô hình ổn định nếu F1 ↔ F2 là intuitionistically đòi hỏi bởi các câu