典型特征词：真度,谓词,公理化真度,公理化,滤子,公理,谓词逻辑系统,MTL,逻辑,非交换剩余格,逻辑系统,Heyting,代数,PMTL,改进的非常快速模拟退火算法,射电望远镜,快速模拟,合取,伪距离,望远镜,一致拓扑空间,望远,主动反射,主动反射面,合取范式,模糊,命题逻辑,有界,反射面,一阶逻辑,理化,拓扑,拓扑空间,扑空,模拟退火算法,伪距,公式,同余,退火算法,模拟退火,剩余,运算,交换,拟合程度,射电,退火,证明,反射,命题,非常,滤子,区间集,非交换剩余格,犹豫模糊,犹豫,蕴涵滤子,犹豫模糊滤子,Heyting,代数,fuzzy,区间集非交换剩余格,广义,有界,蕴涵,区间集上非交换剩余格,区间,剩余,半群,义蕴,科学属性,奇异,domain,交换,广义蕴涵滤子,模糊,犹豫模糊集,公理化真度,日地关系,阴阳,Lawson,定理,太极,终极关怀,相似度,构造性,公理化,演算,理想,谓词,构造,概念,属性,R1,递归,公理,模糊集,等价,真度,称之为,算子