次直既约和不直可分解的格蕴涵代数

摘要

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, subdirectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.