概念格在二值命题逻辑命题集约简中的应用

• 作者: 张东晓 李立峰
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 完备性定理 形式背景 Γ约简 概念格
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1538-1542
• 页数: 5页
• 分类号: O141
• 字数: 5406字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.08.023

摘要

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李立峰	西安邮电学院应用数理系	15	85	5.0	9.0
2	张东晓	集美大学理学院	6	47	3.0	6.0