中国科学技术大学学报
中國科學技術大學學報
중국과학기술대학학보
JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA
2004年
2期
140-144
,共5页
非经典逻辑%t-模%伪t-模%蕴涵%L-关系方程
非經典邏輯%t-模%偽t-模%蘊涵%L-關繫方程
비경전라집%t-모%위t-모%온함%L-관계방정
研究了sup-T类与inf-I类方程的解结构,并在特定条件下分别给出了它们的解集,其中L为完备Brouwer格.T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T).
研究瞭sup-T類與inf-I類方程的解結構,併在特定條件下分彆給齣瞭它們的解集,其中L為完備Brouwer格.T為無窮V-分配偽t-模,I是無窮∧-分配蘊涵算子,I=I(T).
연구료sup-T류여inf-I류방정적해결구,병재특정조건하분별급출료타문적해집,기중L위완비Brouwer격.T위무궁V-분배위t-모,I시무궁∧-분배온함산자,I=I(T).