| Church Monoid的集合表示 |
| |
| 引用本文： | 周春来.Church Monoid的集合表示[J].广西大学学报(自然科学版),2001,26(3):239-242. |
| |
| 作者姓名： | 周春来 |
| |
| 作者单位： | 中国社会科学院研究生院 |
| |
| 摘 要： | Stone Representation Theorem之于Boolena Algebra就象Cayley Theorem之间Abstract Group Theory-样重要，本文推广Stone Representation Theorem中所用的方法给出了Church Monoid的集合表示，而且根据此表示定理，给出了定理1的一个新证明，在证明的过程中，得到了一些抽象代数与关系代数的对应关系。
|
| 关 键 词： | Stone Representation Theorem Church Monoid 有向集 有向锥 关系代数 相干逻辑 集合表示 |
| 文章编号： | 1001-7445(2001)03-0239-04 |
| 修稿时间： | 2001年3月23日 |
A set-theoretical representation of Church Monoid |
| |
| ZHOU Chun,lai.A set-theoretical representation of Church Monoid[J].Journal of Guangxi University(Natural Science Edition),2001,26(3):239-242. |
| |
| Authors: | ZHOU Chun lai |
| |
| Abstract: | Stone Representation Theorem is just as important to Boolean Algebra as Cayley theorem is to abstract group theory.The method in the Stone Representation Theorem is generalized and a set theoretical representation of Church Monoid is given, by which a new proof of Theorem 1 is offered. During the course to the result, a few correspondences between relational algebra and abstract algebra are obtained. |
| |
| Keywords: | Stone Representation Theorem Church Monoid Dunn Monoid residuated square increasing directed sets downward directed cone relation algebras relevant logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
