. We also study cases when the weak

. We also study cases when the weakenings are an exact approximation.
In contrast to previous related work of other authors, our approach deals with
the case when the constructor ∀ is allowed in premises of program clauses that are used as
terminological axioms.

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

. Chúng tôi cũng nghiên cứu các trường hợp khi weakenings là một xấp xỉ chính xác.
Ngược lại với công việc liên quan trước đó của các tác giả khác, giao dịch cách tiếp cận của chúng tôi với
các trường hợp khi ∀ constructor được cho phép trong khuôn viên của các điều khoản chương trình được sử dụng như là
các tiên đề về thuật ngữ.