电子学报2013，Vol.41Issue(5)：878-883,6.DOI:10.3969/j.issn.0372-2112.2013.05.008
命题逻辑系统SMTL中公式的积分真度理论
Theory of Integral Truth Degrees of Formula in SMTL Propositional Logic
摘要
Abstract
The concept of strong left-continuous t-norm and SMTL propositional logic system is introduced.It is proved that the left continuous t-norm is the strong left-continuous t-norm if and only if its adjoining implication operator is strong regular implication operator.Based on the fuzzy propositional logic of strong regular implication operator the integral truth degree of formula is defined and inference rules w.r.t the integral truth degree of formula is proved.Moreover,a pseudo-metric is defined therefrom on the set of formulas in SMTL system,and three models for approximate reasoning are given,hence a possible framework suitable for developing approximate reasoning theory in SMTL propositional logic is established.关键词
积分真度/强左连续t-模/强正则蕴涵算子/SMTL命题逻辑系统/伪度量Key words
integral truth degree/ strong left-continuous t-norm/ strong regular implication operators/ SMTL propositional logic/ pseudo metric分类
数理科学引用本文复制引用
李骏,姚锦涛..命题逻辑系统SMTL中公式的积分真度理论[J].电子学报,2013,41(5):878-883,6.基金项目
国家自然科学基金(No.10771129) （No.10771129）
兰州理工大学博士基金 （）
