On Injective Lattice Implication Algebras
Song Zhen-min · Shuxue jikan · 2000
Many-valued logic system always plays a crucial role in artificial intelligence. In order further to study many-valued logic system as well as logic with truth-values in a lattice, the con- cept of lattice implication algebra was proposed in reference [1] and the corresponding logic system was also investigated. In this paper, we focus on a kind of important lattice implication algebra, i. e., injective lattice implication algebra. Some properties are discussed and also the characteristic of its structure is given.