作者:王学芳; 徐扬; 宋振明次直既约格蕴涵代数不直可分解素数过滤法
摘要: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.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社