淮海工学院学报(自然科学版)
淮海工學院學報(自然科學版)
회해공학원학보(자연과학판)
JOURNAL OF HUAIHAI INSTITUTE OF TECHNOLOGY
2003年
3期
5-8
,共4页
非经典逻辑%t-模%伪t-模%蕴涵%L-关系方程
非經典邏輯%t-模%偽t-模%蘊涵%L-關繫方程
비경전라집%t-모%위t-모%온함%L-관계방정
介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论.利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A (R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集.文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈LX和B∈LY是两个已知L-子集,R∈LX×Y是未知L-关系.
介紹瞭完備Brouwer格上的偽t-模與蘊涵算子的概唸和一些重要結論.利用方程T(a,x)=b與方程I(a,x)=b解的相關結論討論瞭sup-T類L-關繫方程A(R)(y)=B(y)與inf-I類L-關繫方程A (R)(y)=B(y)解的結構,併在一定條件下分彆得到瞭它們的解集.文中L為完備Brouwer格,T為無窮V-分配偽t-模,I是無窮∧-分配蘊涵算子,I=I(T),a,b,x∈L,A∈LX和B∈LY是兩箇已知L-子集,R∈LX×Y是未知L-關繫.
개소료완비Brouwer격상적위t-모여온함산자적개념화일사중요결론.이용방정T(a,x)=b여방정I(a,x)=b해적상관결론토론료sup-T류L-관계방정A(R)(y)=B(y)여inf-I류L-관계방정A (R)(y)=B(y)해적결구,병재일정조건하분별득도료타문적해집.문중L위완비Brouwer격,T위무궁V-분배위t-모,I시무궁∧-분배온함산자,I=I(T),a,b,x∈L,A∈LX화B∈LY시량개이지L-자집,R∈LX×Y시미지L-관계.
