一类L-关系方程有解的充要条件  

Sufficient and Necessary Condition for the Existence of Solutions to a Type of L-Relation Equations

作　　者：廖大见[1] 

机构地区：[1]淮海工学院理学院,江苏连云港222005

出　　处：《淮海工学院学报（自然科学版）》2008年第2期5-7,共3页Journal of Huaihai Institute of Technology:Natural Sciences Edition

基　　金：江苏省高校自然科学研究指导性计划项目(02KJD110006)

摘　　要：讨论基于拟t-模的方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集以及它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集,研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与解集.其中L为完备Brouwer格,T为拟t-模,I是蕴涵算子.The structure of the solution of equations T（a ,x）=b and I（a ,x）=b is discussed in this paper based on quasi-t-norm, and the solution set and the sufficient and necessary condition for the existence of solutions are obtained. Making use of the solution set, this study probes into the structure and solution set of equations T（（al ,a2）,（x1 ,x2））=（b1 ,b2） and I（（a1 ,a2）,（x1 ,x2））= （b1 ,b2）, where L is a complete Brouwerian lattice, T is a quasi-t-norm and I is an implication.

关 键 词：非经典逻辑 拟卜模 伪T-模 蕴涵 L-关系方程 

分 类 号：O159[理学—数学] B815[理学—基础数学]