带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此......