C_B代数与Lu3代数同构定理的证明

A Proof of the Isomorphism Theorem Between C_B-Algebra and Lu3-Algebra

本文给出C_B代数与Lu3代数同构的详细证明,并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。

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.