系统的半对偶形式系统S

• 作者: 吴洪博 陈景林
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题演算 形式演绎系统 * 半对偶形式演绎系统S * 并推理规则
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 4-8
• 分类号: O141.1
• 字数: 2526字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2001.04.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0
2	陈景林	唐山师范学院数学系	11	20	3.0	4.0