命题逻辑系统理论(广义)根性质及应用

• 作者: 张建成 苏连塔
• 来源期刊: 山东大学学报（工学版）
• 学科: 数学
• 关键词: 命题逻辑 理论根 广义根 发散度 相容度 隶属度
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 其他
• 页码范围: 87-92
• 分类号: O141.1|O153
• 语种: 中文
• DOI: 10.6040/j.issn.1672-3961.3.2012.033

摘要

应用演绎定理、广义演绎定理和公式真度理论,基于经典命题逻辑系统、Lukasiewicz命题逻辑系统,G(o)del 命题逻辑系统和R0-命题逻辑系统上讨论理论Γ的根和广义根性质,给出了一个有(广义)根的理论Γ的结论集D(Γ)的结构.应用(广义)根的性质与构造,获得了理论Γ的相容度、发散度和公式A是Γ-结论的隶属度等新的计算公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张建成	泉州师范学院数学与计算机学院	9	7	2.0	2.0
2	苏连塔	泉州师范学院数学与计算机学院	15	27	3.0	4.0