作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
Stone Representation Theorem之于Boolean Algebra就象Cayley Theorem 之于Ab s tract Group Theory一样重要.本文推广Stone Representation Theorem中所用的方法给出了Church Monoid的集合表示.而且根据此表示定理,给出了定理1的一个新证明.在证明的过程中,得到了一些抽象代数与关系代数的对应关系.
推荐文章
命题逻辑中的集合表示
命题逻辑
主析取范式
主合取范式
可拓集合运算的矩阵表示
可拓集合
关联函数
矩阵运算
可拓等价
可拓变换
不相交集合的表示与基本操作的实现
不相交集合
表示与操作
时间复杂度
用平衡树实现集合运算的研究之一
集合
操作
算法
平衡树
复杂度
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Church Monoid的集合表示
来源期刊 广西大学学报(自然科学版) 学科 数学
关键词 Stone Representation Theorem Church Monoid Dunn Monoid 剩余 平方上升 有向集 向下的有向锥 关系代数 相干逻辑
年,卷(期) 2001,(3) 所属期刊栏目
研究方向 页码范围 239-242
页数 4页 分类号 O153.1
字数 3717字 语种 中文
DOI 10.3969/j.issn.1001-7445.2001.03.024
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 周春来 中国社会科学院研究生院 2 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1973(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Stone Representation Theorem
Church Monoid
Dunn Monoid
剩余
平方上升
有向集
向下的有向锥
关系代数
相干逻辑
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
广西大学学报(自然科学版)
双月刊
1001-7445
45-1071/N
大16开
广西南宁市大学路100号广西大学西校园学报编辑部
28832转3
1976
chi
出版文献量(篇)
4586
总下载数(次)
8
总被引数(次)
23980
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导