宁夏大学学报（自然科学版）Issue(3)：209-211,215,4.
计量逻辑学中的形式化推演方法
Formal Deduction Method in Quantitative Logic
摘要
Abstract
Based on the quantitative logic in classical proposition logic system,the problem of formal inference is disussed.The results indicate that the formal deduction method also exists in quantitative logic which similarity with the syntactic theory.At the same time,the properties of formal deduction method are given.关键词
公式真度/计量逻辑学/形式化推理/经典命题逻辑系统Key words
truth degree of formula/quantitative logic/formal deduction method/classical proposition log-ic system分类
数理科学引用本文复制引用
于鹏..计量逻辑学中的形式化推演方法[J].宁夏大学学报（自然科学版）,2014,(3):209-211,215,4.基金项目
陕西省自然科学基础研究计划资助项目(2011JQ1015) （2011JQ1015）
