系统的半对偶形式系统S

摘要：

研究了模糊命题演算的形式演绎系统 *和修正的Kleene逻辑系统W,W,Wk及R0-代数.给出了 *系统的半对偶形式系统S * ;与交推理规则相对应,引入并推理规则,证明了 *系统和S *系统的等价性.为形式演绎系统的研究和应用提供了一个有益的途径.

关键词：命题演算、形式演绎系统 *、半对偶形式演绎系统S *、并推理规则

所属期刊栏目：29

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2011-12-13（万方平台首次上网日期，不代表论文的发表时间）

页码：4-8