BL-代数上inf-→合成关系方程的解集

对满足线性序和消去律的BL-代数上模糊关系方程（aj→xj）=b在无限论域中的解进行了讨论．提出了可达解和不可达解的概念，讨论了极大解与它们的关系；对于不可达解部分，给出了方程的解结构特点；对于可达解部分，找出了所有的极大解，并对方程的每个可达解都找到一个相应的极大解．实际上，在有限的情况下，若满足线性序，文献中方程的所有解都是可达解，而无限时，方程也可能存在不可达解．