计量逻辑学中的形式化推演方法

• 作者: 于鹏
• 来源期刊: 宁夏大学学报（自然科学版）
• 学科: 数学
• 关键词: 公式真度 计量逻辑学 形式化推理 经典命题逻辑系统
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 数学
• 页码范围: 209-211,215
• 页数: 4页
• 分类号: O142
• 字数: 3442字
• 语种: 中文

摘要

基于经典逻辑系统中的计量逻辑学，探讨了计量逻辑学中的形式化推理问题。结果表明，在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法，并给出了形式化推演的性质。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于鹏	陕西科技大学理学院	20	50	4.0	6.0