有限理论结论基于根的余式和结论集的表示

• 作者: 王廷明
• 来源期刊: 青岛大学学报（自然科学版）
• 学科: 数学
• 关键词: 二值命题逻辑 有限理论 逻辑等价 根 余式
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 数学
• 页码范围: 1-4
• 分类号: O141.3
• 字数: 3664字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1037.2011.02.001

摘要

二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题.通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质.利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王廷明	青岛大学师范学院数学系	49	91	5.0	7.0