%0 Journal Article
%T 基于n-值ukasiewicz命题逻辑的概率计量化推理系统
%A 周红军
%J 模式识别与人工智能
%P 521-528
%D 2013
%X 通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词，把概率真度函数的基本恒等式抽象为关于模态词的公理，建立一个模态化的形式推理系统，构建其语构理论及语义理论，证明该系统关于概率真度函数的完备性定理，从而为概率计量逻辑奠定逻辑基础。
%K ukasiewicz命题逻辑
%K 概率计量逻辑
%K Borel型概率真度
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract9614.shtml