格蕴涵代数、MV-代数和有界可换的BCK-代数

Lattice Inplication Algebra, MV-algebra and Bounded Commutative BCK-algebra

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。

In this paper, we proved the lattice inplication algebra and bounded commutative BCK-algebra are two equational algebra systems, and MV-algebra and bounded commutative BCK-algebra are two equational algebra systems.