一些命题逻辑的Groebner基算法

• 作者: 朱玉莲
• 来源期刊: 重庆工学院学报（自然科学版）
• 学科: 数学
• 关键词: 命题 推理问题 多项式 Groebner基 等值
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 数理化科学
• 页码范围: 126-129
• 页数: 4页
• 分类号: O241.8
• 字数: 1908字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425-B.2007.08.032

摘要

介绍了一种得到命题结论的新方法,即通过把逻辑命题的项转化成相应的多项式,然后计算Groebner基,从而得到命题的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱玉莲	中南大学数学科学与计算技术学院	1	0	0.0	0.0