自然科学版
陕西师范大学学报(自然科学版)
序代数与逻辑专题
R0代数中的布尔原子及其应用
PDF下载 ()
樊丰丽, 颉永建*
(陕西师范大学 数学与信息科学学院, 陕西 西安 710119)
颉永建,男,副教授,主要从事量子逻辑研究。E-mail:yjxie@snnu.edu.cn
摘要:
介绍了将R0代数的布尔原子替换为R0代数的定义,给出了将布尔代数的原子依次替换为R0代数得到有限的R0代数的方法,从而进一步刻画了布尔代数与R0代数之间的关系。
关键词:
R0代数; 布尔代数; 原子; 替换
收稿日期:
2018-12-08
中图分类号:
O153.1
文献标识码:
A
文章编号:
1672-4291(2019)05-0094-06
基金项目:
国家自然科学基金(61673250)
Doi:
The Boole atom of R0 algebra and its application
FAN Fengli, XIE Yongjian*
(School of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710119, Shaanxi, China)
Abstract:
In this paper, the definition of the substitution of Boole atom in R0 algebra and how to get a finite R0 algebra by substituting the Boole atoms of an Boole algebra with some R0 algebra is introduced.Thus,the relationship between Boole algebra and R0 algebra is described.
KeyWords:
R0 algebra; Boole algebra; atom; substitution