江苏省教育厅自然科学基金(02KJD110006)
- 作品数:6 被引量:9H指数:2
- 相关作者:何新龙王住登廖大见戴风明更多>>
- 相关机构:盐城师范学院淮海工学院更多>>
- 发文基金:江苏省教育厅自然科学基金更多>>
- 相关领域:理学更多>>
- Ω群上T同余L关系
- 2004年
- 利用完备Brouwer格L上的无穷∨-分配t-模T引入并讨论Ω群上相容L关系概念,然后在其基础上进一步引入并研究Ω群上T同余L关系概念,最后讨论Ω群上T同余L关系与正规Ω-TL子群的关系。
- 何新龙
- L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件被引量:2
- 2004年
- 进一步讨论方程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-关系方程
- L-关系方程T(a,x)=b,I(a,x)=b的解集被引量:3
- 2003年
- 讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T).
- 王住登戴风明
- 关键词:非经典逻辑蕴涵算子L-关系方程
- Ω同态,T同余L关系和Ω-TL子群
- 2004年
- 利用完备Brouwer格L上的无穷V 分配t 模T,引入并讨论Ω群上T同余L关系概念,然后在其基础上研究Ω群上T同余L关系的同态性质,最后讨论Ω群上T同余L关系与正规Ω TL子群的一些关系.
- 何新龙
- 关键词:T-模
- 完备格上的拟-t-模及蕴涵算子的直积和直积分解被引量:1
- 2006年
- 进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.
- 翟余华廖大见
- 关键词:非经典逻辑T-模伪T-模直积直积分解
- 完备Brouwer格上的T-型正则L-关系被引量:4
- 2003年
- 利用完备的 Brouwer格 L上的无穷∨分配 t 模 T定义格 L上的 T 型正则 L 关系 ,建立这些 L关系的基本性质 ,并给出 T 型正则 L 关系的最大 T 型广义逆 L 关系的两个计算公式 .
- 何新龙王住登
- 关键词:完备BROUWER格T-模