基于布尔语义的Gentzen推导模型
文献类型：期刊论文
| 作者 | 陈博; 眭跃飞 |
| 刊名 | 计算机科学与探索
 |
| 出版日期 | 2015 |
| 卷号 | 9.0期号:002页码:221 |
| 关键词 | 布尔代数 命题逻辑 不等式 完备性 |
| ISSN号 | 1673-9418 |
| 英文摘要 | 布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系，其中布尔代数中的不等式对应Gentzen系统中的矢列式，使得当一个不等式在任意布尔代数中为真，当且仅当它所对应的矢列式是可证的。并且使得在信息检索中，针对信息的推理可以有效地转为偏序集上的运算。讨论的命题逻辑语言的运算符为, ∧, ∨；并且定义了项（a｜t｜t1∧ t2｜t1∨ t2，其中以是一个元素）来替代原先的公式和表示布尔代数中的元素。此外，定义了以布尔代数为论域的赋值v，将命题逻辑中的项赋值为布尔代数中的元素，并且如果∩t∈Гtv≤∪t∈△tv，则矢列式Г=△为真。最后给出了Gentzen系统下的可靠性和完备性定理的证明。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/35301]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 陈博,眭跃飞. 基于布尔语义的Gentzen推导模型[J]. 计算机科学与探索,2015,9.0(002):221. |
| APA | 陈博,&眭跃飞.(2015).基于布尔语义的Gentzen推导模型.计算机科学与探索,9.0(002),221. |
| MLA | 陈博,et al."基于布尔语义的Gentzen推导模型".计算机科学与探索 9.0.002(2015):221. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。