宁夏大学学报：自然科学版2022，Vol.43Issue(2)：P.136-140,5.
MTL■谓词逻辑系统公理化真度的运算性质研究
摘要
关键词
谓词逻辑系统MTL■/公理化真度/计量逻辑分类
数理科学引用本文复制引用
王波,惠小静,鲁星..MTL■谓词逻辑系统公理化真度的运算性质研究[J].宁夏大学学报：自然科学版,2022,43(2):P.136-140,5.基金项目
国家自然科学基金资助项目(11471007,61763045)。 （11471007,61763045）
国家自然科学基金资助项目(11471007,61763045)。 （11471007,61763045）
