| C_B代数与Lu3代数同构定理的证明 |
| |
| 引用本文： | 萧昌建.C_B代数与Lu3代数同构定理的证明[J].成都大学学报(自然科学版),1993,12(2):5-10. |
| |
| 作者姓名： | 萧昌建 |
| |
| 摘 要： | 本文给出C_B代数与Lu3代数同构的详细证明,并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。
|
| 关 键 词： | C_B代数 Lu3代数 全代入法 同构 可构造性 |
A Proof of the Isomorphism Theorem Between C_B-Algebra and Lu3-Algebra |
| |
| Xiao Changjian.A Proof of the Isomorphism Theorem Between C_B-Algebra and Lu3-Algebra[J].Journal of Chengdu University (Natural Science),1993,12(2):5-10. |
| |
| Authors: | Xiao Changjian |
| |
| Institution: | Xiao Changjian |
| |
| Abstract: | This paper gives a proof of the isomorphism theorem between C_B-algebra and Lu3-algebra. Furthermore constructibility of the Lukasiewicz three-valued logic algebra has been given by the two-valued logic algebra. |
| |
| Keywords: | C_B-Algebra Lu3-Algcbra Complete subsitituion method Isomorph Constructibility |
| 本文献已被 CNKI 维普 等数据库收录！ |
