江苏省高校自然科学研究项目(02KJD110006)
- 作品数:4 被引量:2H指数:1
- 相关作者:廖大见乔庆荣刘才贵更多>>
- 相关机构:淮海工学院更多>>
- 发文基金:江苏省高校自然科学研究项目更多>>
- 相关领域:理学哲学宗教更多>>
- 完备格上的伪t-模与剩余蕴涵的直积和直积分解被引量:2
- 2004年
- 讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则蕴涵可以分解的充要条件 ,完全解决了 DeBaets提出的直积分解条件问题 .
- 廖大见
- 关键词:伪T-模蕴涵直积直积分解
- 完备格上的诱导算子
- 2006年
- 利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系.进一步表述了蕴涵算子和拟t-模的n次诱导算子序列的一些结论,并提出了一些有待解决的问题.
- 廖大见
- 关键词:蕴涵算子诱导算子
- 完备格上伪t-模与蕴涵算子的限制和诱导被引量:1
- 2004年
- 研究了完备格L上的伪t-模与其诱导的蕴涵之间的相互关系,得到了伪t-模在一定范围上的限制和其诱导的蕴涵在相应范围上的限制之间的联系,从而具体地表明了L上的伪t-模与其诱导的蕴涵之间的关系,并据此给出一个比较简便的求已知伪t-模或蕴涵诱导的剩余算子的方法.
- 廖大见刘才贵乔庆荣翟余华
- 关键词:伪T-模蕴涵
- 一类L-关系方程有解的充要条件
- 2008年
- 讨论基于拟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)的解结构与解集.其中L为完备Brouwer格,T为拟t-模,I是蕴涵算子.
- 廖大见
- 关键词:非经典逻辑伪T-模蕴涵L-关系方程