|
|||||
|
|
| MTL?谓词逻辑系统公理化真度及其相似度的性质研究 | |
| 作者姓名： | 王波 惠小静 马田雨 鲁星 |
| 作者单位： | 延安大学数学与计算机科学学院,陕西 延安 716000 |
| 基金项目： | 国家自然科学基金(11471007,61763045)资助; |
| 摘 要： | 命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质. |
| 关 键 词： | 谓词逻辑系统MTL∀ 公理化真度 相似度 |
| 本文献已被 万方数据 等数据库收录！ | |