首页|期刊导航|浙江大学学报（理学版）|谓词逻辑系统MTL-中公式的公理化真度

谓词逻辑系统MTL-中公式的公理化真度

王波惠小静鲁星

浙江大学学报（理学版）2022，Vol.49Issue(5)：521-526,548,7.

浙江大学学报（理学版）2022，Vol.49Issue(5)：521-526,548,7.DOI:10.3785/j.issn.1008-9497.2022.05.001

Axiomatic truth degrees of formula in MTL? predicate logic system

王波 ¹惠小静 ¹鲁星¹

作者信息

谓词逻辑系统MTL∀/公理化真度/相似度/伪距离

数理科学

王波,惠小静,鲁星..谓词逻辑系统MTL-中公式的公理化真度[J].浙江大学学报（理学版）,2022,49(5):521-526,548,7.

国家自然科学基金资助项目(11471007,61763045). （11471007,61763045）

OA北大核心CSCDCSTPCD

ISSN：1008-9497

访问量0

下载量0

段落导航