江南大学学报（自然科学版）
江南大學學報（自然科學版）
강남대학학보（자연과학판）
JOURNAL OF SOUTHERN YANGTZE UNIVERSITY（NATURAL SCIENCE EDITION）
2004年
6期
642-644
,共3页
非经典逻辑%t-模%伪t-模%蕴涵%L-关系方程
非經典邏輯%t-模%偽t-模%蘊涵%L-關繫方程
비경전라집%t-모%위t-모%온함%L-관계방정
进一步讨论方程T(a,x)=b与方程Ⅰ(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程Ⅰ(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子.
進一步討論方程T(a,x)=b與方程Ⅰ(a,x)=b的解的結構,得到瞭它們的解集,且得到瞭它們有解的充分必要條件,併利用方程T(a,x)=b與方程Ⅰ(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解結構與與解集.還指齣文獻[1]中一箇基本定理的錯誤.其中L為完備Brouwer格,T為無窮V-分配偽t-模,I是無窮∧-分配蘊涵算子.
진일보토론방정T(a,x)=b여방정Ⅰ(a,x)=b적해적결구,득도료타문적해집,차득도료타문유해적충분필요조건,병이용방정T(a,x)=b여방정Ⅰ(a,x)=b적해집연구방정T((a1,a2),(x1,x2))=(b1,b2)이급방정I((a1,a2),(x1,x2))=(b1,b2)적해결구여여해집.환지출문헌[1]중일개기본정리적착오.기중L위완비Brouwer격,T위무궁V-분배위t-모,I시무궁∧-분배온함산자.
