K*?谓词逻辑系统公理化真度的运算性质研究

作者：鲁星; 惠小静; 王波

来源：宁夏大学学报(自然科学版), 2023, 44(04): 323-327.

• *?谓词演算系统" name="keyword">K*?谓词演算系统
• 公理化真度
• 真度

以一阶谓词逻辑中公理化真度的定义和性质为基础，对K*?谓词演算系统中的公式真度进行了研究，分析了含量词、交算子和蕴涵算子的公理化真度的运算性质，给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法 .

• 出版日期2023