陕西师范大学学报编辑部
陕西师范大学学报编辑部
返回首页
自然科学版
主编寄语
编委会
编辑部
编辑介绍
本期目录
往期回顾
全文检索
期刊列表
哲学社会科学版
自然科学版
当代教师教育
高校实验室科学技术
自然科学版
哲学社会科学版
自然科学版
当代教师教育
中国西部研究
高校实验科学技术
标题
作者
摘要
关键词
English
陕西师范大学学报(自然科学版)
序代数与逻辑专题
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