篇名 | 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 |