期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
伪t-模与L关系方程的解集 被引量:3
1
作者 廖大见 赵敏 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第2期140-144,共5页
研究了sup T类与inf I类方程的解结构 ,并在特定条件下分别给出了它们的解集 ,其中L为完备Brouwer格 .T为无穷∨ 分配伪t 模 ,I是无穷∧ 分配蕴涵算子 ,I =I(T) .
关键词 非经典逻辑 T-模 伪T-模 L-关系方程 解集 完备BROUWER格 蕴涵算子
在线阅读 下载PDF
L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件 被引量:2
2
作者 廖大见 《江南大学学报(自然科学版)》 CAS 2004年第6期642-644,共3页
进一步讨论方程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)的解结构与与解集... 进一步讨论方程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)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷∨-分配伪t 模,I是无穷∧-分配蕴涵算子. 展开更多
关键词 非经典逻辑 T-模 伪T-模 蕴涵 L-关系方程
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部