L~*系统的半对偶形式系统S“非汉字符号”~* (2001年)

【文件属性】：

文件名称：L~*系统的半对偶形式系统S“非汉字符号”~* (2001年)

文件大小：260KB

文件格式：PDF

更新时间：2024-06-06 15:15:03

自然科学 论文

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