摘要
利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系.进一步表述了蕴涵算子和拟t-模的n次诱导算子序列的一些结论,并提出了一些有待解决的问题.
We further study the inducing operators of a quasl-t-norm (or an implication) on a complete lattice once discussed in Reference [-2], and prove that implication and the t-inducing operator of quasi-t-norm equals the original quasl-t-norm under a given condition and a given scope. We have obtained the relationship between different inducing operators and their relation to the solutions of L-relatlon equation, arriving at conclusions about n-induclng operators of a quasl-t-norm (or an implication) and putting forward some open problems to be settled.
出处
《淮海工学院学报(自然科学版)》
CAS
2006年第1期4-7,共4页
Journal of Huaihai Institute of Technology:Natural Sciences Edition
基金
江苏省高校自然科学研究指导性计划项目(02KJD110006)
淮海工学院自然科学基金资助项目(Z2004044)
关键词
剩余对
拟t-模
蕴涵算子
诱导算子
residual couple
quasi-t-norm
implication
inducing operator