廖大见

作品数：9被引量：7H指数：1
导出分析报告
供职机构：淮海工学院理学院更多>>
发文主题：伪T-模非经典逻辑蕴涵算子T-模完备格更多>>
发文领域：理学哲学宗教电子电信更多>>
发文期刊：《淮阴师范学院学报（自然科学版）》《中国科学技术大学学报》更多>>
所获基金：江苏省教育厅自然科学基金江苏省高校自然科学研究项目国家重点实验室开放基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类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-模及蕴涵算子的直积和直积分解被引量：1
《淮阴师范学院学报（自然科学版）》2006年第4期274-277,299,共5页翟余华 廖大见 
江苏省教育厅自然科学基金资助项目(02KJD110006)
进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.
关键词：非经典逻辑 T-模 伪T-模 拟t-模 蕴涵 直积 直积分解 
完备格上的诱导算子
《淮海工学院学报（自然科学版）》2006年第1期4-7,共4页廖大见 
江苏省高校自然科学研究指导性计划项目(02KJD110006);淮海工学院自然科学基金资助项目(Z2004044)
利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系.进一步表述了...
关键词：剩余对 拟t-模 蕴涵算子 诱导算子 
完备格上伪t-模与蕴涵算子的限制和诱导被引量：1
《淮海工学院学报（自然科学版）》2004年第4期4-6,共3页廖大见 刘才贵 乔庆荣 翟余华 
江苏省高校自然科学研究指导性计划项目(02KJD110006)
研究了完备格L上的伪t-模与其诱导的蕴涵之间的相互关系,得到了伪t-模在一定范围上的限制和其诱导的蕴涵在相应范围上的限制之间的联系,从而具体地表明了L上的伪t-模与其诱导的蕴涵之间的关系,并据此给出一个比较简便的求已知伪t-模或...
关键词：伪T-模 蕴涵 限制 诱导 
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-模与剩余蕴涵的直积和直积分解被引量：2
《淮海工学院学报（自然科学版）》2004年第2期3-6,共4页廖大见 
江苏省高校自然科学研究指导性计划项目 ( 0 2 KJD110 0 0 6)
讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则...
关键词：伪T-模 蕴涵 直积 直积分解 
伪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格 蕴涵算子 
完备格上的拟t-模与蕴涵算子被引量：5
《西南师范大学学报（自然科学版）》2003年第6期835-840,共6页廖大见 
江苏省教育厅自然科学基金资助项目(00KJD110006).
引入并讨论完备格L上的拟t 模与剩余蕴涵的概念,研究了L上拟t 模与剩余蕴涵之间的关系,给出求一个已知拟t 模或剩余蕴涵的剩余算子的方法,并指出[0,1]上的两类基本蕴涵和Yager蕴涵都是可以由[0,1]上的拟t 模诱导的剩余蕴涵.
关键词：完备格 拟t-模 蕴涵算子 非经典逻辑 弱t-模 伪T-模 剩余蕴涵 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部