乘积逻辑系统中公式的真度函数理论

• 作者: 姚宁 罗敏霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 真度函数 τ-定理 τ-重言式 τ-演绎定理
• 年，卷（期）: 2011,（25）
• 所属期刊栏目: 研究、探讨
• 页码范围: 58-60,67
• 分类号: TP18
• 字数: 4757字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.25.014

摘要

基于乘积逻辑系统研究公式的真度函数理论.在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗敏霞	中国计量学院理学院数学系	15	29	4.0	5.0
2	姚宁	中国计量学院理学院数学系	2	8	1.0	2.0