L-关系方程

作品数:8被引量:7H指数:1
导出分析报告
相关领域:理学哲学宗教更多>>
相关作者:廖大见王住登赵敏戴风明赖艺芬更多>>
相关机构:淮海工学院盐城师范学院福州大学更多>>
相关期刊:《福州大学学报(自然科学版)》《扬州大学学报(自然科学版)》《淮阴师范学院学报(自然科学版)》《中国科学技术大学学报》更多>>
相关基金:江苏省教育厅自然科学基金福建省自然科学基金江苏省高校自然科学研究项目更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-8
视图:
排序:
一类L-关系方程有解的充要条件
《淮海工学院学报(自然科学版)》2008年第2期5-7,共3页廖大见 
江苏省高校自然科学研究指导性计划项目(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)的解结构与解集...
关键词:非经典逻辑 拟卜模 伪T-模 蕴涵 L-关系方程 
关于完备格上T-型L-关系方程被引量:1
《福州大学学报(自然科学版)》2005年第5期565-569,共5页赖艺芬 谭宜家 
福建省自然科学基金资助项目(Z0511012)
利用完备格L上的无限∨-分配t-模T,研究了T-型L-关系方程AoTXoTB=C的解,给出了该方程可解的充要条件,并且在可解时给出了该方程最大解的一个计算公式.
关键词:L-关系 T-型三-关系方程 最大解 
伪t-模与蕴涵算子:L-关系方程(英文)
《苏州科技学院学报(自然科学版)》2005年第2期19-23,共5页王住登 于延栋 
文章研究Sup-T型L-关系方程和Inf-αT型L-关系方程解的结构,其中L是完备Brouwer格,T是L上无穷并分配伪t-模,αT是L上由T诱导的无穷交分配蕴涵。
关键词:非经典逻辑 T-模 伪T-模 蕴涵 L-关系方程 
L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件被引量:2
《江南大学学报(自然科学版)》2004年第6期642-644,共3页廖大见 
江苏省教育厅自然科学基金项目(02KJD110006)资助课题.
进一步讨论方程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-模 伪T-模 蕴涵 L-关系方程 
伪T模的直积与L-关系方程解集
《淮阴师范学院学报(自然科学版)》2004年第2期102-104,共3页翟余华 
利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构.
关键词:非经典逻辑 T-模 伪T-模 蕴涵 L-关系方程 
伪t-模与L关系方程的解集被引量:3
《中国科学技术大学学报》2004年第2期140-144,共5页廖大见 赵敏 
江苏省教育厅自然科学基金 (0 2kJD1 1 0 0 0 6 )
研究了sup T类与inf I类方程的解结构 ,并在特定条件下分别给出了它们的解集 ,其中L为完备Brouwer格 .T为无穷∨ 分配伪t 模 ,I是无穷∧ 分配蕴涵算子 ,I =I(T) .
关键词:非经典逻辑 T-模 伪T-模 L-关系方程 解集 完备BROUWER格 蕴涵算子 
伪t-模与L-关系方程被引量:1
《淮海工学院学报(自然科学版)》2003年第3期5-8,共4页廖大见 
介绍了完备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)解的结构,并在一定条件下分别得到了它们的解集。文...
关键词:伪T-模 L-关系方程 完备BROUWER格 蕴涵算子 
L-关系方程T(a,x)=b,I(a,x)=b的解集被引量:3
《扬州大学学报(自然科学版)》2003年第3期8-10,共3页王住登 戴风明 
江苏省教育厅自然科学基金(02KJD110006)
讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T).
关键词:非经典逻辑 伪t一模 蕴涵算子 L-关系方程 
检索报告 对象比较 聚类工具 使用帮助 返回顶部