Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras
Song Zhen-ming · Shuxue jikan · 2004
Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.