Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (18): 62-63.
• 研究、探讨 • Previous Articles Next Articles
GUAN Xiaohong,ZHANG Haixia
Received:
Revised:
Online:
Published:
关晓红,张海霞
Abstract: The Γ- deduction truth degree of formulas in L* propositional logic system is introduced.And the properties of Γ- deduction truth degree are discussed.At last,the inference rules of truth degree are obtained.
Key words: truth degree, generalized deduction theory, reference rule
摘要: 在命题逻辑系统L*中引入了公式的Γ-演绎真度概念,研究了Γ-演绎真度的若干特征性质,并给出了真度推理规则。
关键词: 真度, 广义演绎推理, 推理规则
GUAN Xiaohong,ZHANG Haixia. Theory of Γ-deduction truth degree in L* logic system[J]. Computer Engineering and Applications, 2011, 47(18): 62-63.
关晓红,张海霞. 逻辑系统L*中公式的Γ-演绎真度理论[J]. 计算机工程与应用, 2011, 47(18): 62-63.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2011/V47/I18/62