广东省自然科学基金(021073)
- 作品数：17 被引量：59H指数：4
- 相关作者：朱怡权陈裕群曹喜望张霞曹青春更多>>
- 相关机构：肇庆学院华南师范大学广州航海高等专科学校更多>>
- 发文基金：广东省自然科学基金国家自然科学基金广东省高等学校自然科学研究重点项目更多>>
- 相关领域：理学更多>>
- 基于FI-代数的一阶模糊谓词演算逻辑系统被引量：1
- 2008年
- 在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。
- 朱怡权
- 关键词：FI-代数模糊逻辑可靠性
- 关于余剩余格的一点注记被引量：1
- 2010年
- 进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.
- 朱怡权朱小琨
- 关键词：格蕴涵代数BCK-代数
- Fuzzy格中理想的最小同余扩张
- 2004年
- 刻画了Fuzzy格中理想的最小同余扩张,设I为Fuzzy格F的任一理想,令Tc(I)={x∈F| d∈I,使得x∧d′≤d∧d′},则Tc(I)是F中包含I的最小同余理想.证明了正规Fuzzy格(或Kleene代数)F中,理想E={x∧x′|x∈F}的最小同余扩张是一个W-理想,即存在唯一的同余关系以它为核.
- 朱怡权
- 关键词：FUZZY格同余关系同余理想W-理想同余扩张
- 关于线性微分方程组的几点注记被引量：1
- 2005年
- 给出了线性微分方程组为可化组的两个充分条件,并由此得到关于解的有界性与稳定性的若干结果.
- 冯秀芹曹青春
- 关键词：线性微分方程组有界性稳定性
- FI代数的导出序结构的一些性质被引量：5
- 2006年
- 深入研究F I代数的与其导出序结构相关的一些性质。特别地,分别得到了在F I代数(L,→,0)中下列各式之一成为恒等式的若干条件:(1)(x∨y)→z=(x→z)∧(y→z);(2)z→(x∨y)=(z→x)∨(z→y);(3)(x∧y)→z=(x→z)∨(y→z);(4)z→(x∧y)=(z→x)∧(z→y)。
- 朱怡权
- 关键词：FI代数
- S-系上的本质同余与富余同余
- 2009年
- 本文给出了S-系上本质同余与富余同余的概念,并刻画了它们的性质;利用与模论中研究本质子模与余子模相类似的方法,得到了与其相类似的结果.
- 陈飞燕陈裕群梁炼
- 关键词：S-系
- S-系的生成和上生成被引量：1
- 2005年
- 借助于模论中的方法,在半群S-系范畴中引入生成元与上生成元的概念,给出生成元与上生成元的一些刻画,并讨论了S-系的Trace和Reject的性质与结构.
- 张广亮陈裕群
- 关键词：S-系生成子
- 格蕴涵代数与Lukasiewicz逻辑系统被引量：9
- 2004年
- 讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n), )是一个n元链,θ,I分别为最小、最大元,则以 为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构.
- 朱怡权
- 关键词：FI-代数格蕴涵代数
- 模格与半单代数被引量：2
- 2004年
- 讨论了有有限长度的模格是半单的若干充要条件,给出了它们在代数模、模、环、群,尤其是半群中的应用.
- 张霞陈裕群
- 关键词：模格半单代数半群合成列
- 低阶格蕴涵代数的构造
- 2005年
- 借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题.证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个.这些结果将有助于对相应的逻辑系统与模糊推理的研究.
- 朱怡权
- 关键词：格蕴涵代数原子
