广东省自然科学基金(021073)

作品数:17被引量:55H指数:4
导出分析报告
相关作者:朱怡权陈裕群曹喜望张霞曹青春更多>>
相关机构:肇庆学院华南师范大学广州航海高等专科学校北京大学更多>>
相关期刊:《内蒙古大学学报(自然科学版)》《Acta Mathematica Sinica,English Series》《华中师范大学学报(自然科学版)》《高校应用数学学报(A辑)》更多>>
相关主题:格蕴涵代数FI-代数R0-代数剩余格FI代数更多>>
相关领域:理学更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
关于余剩余格的一点注记被引量:1
《华中师范大学学报(自然科学版)》2010年第2期204-206,共3页朱怡权 朱小琨 
国家自然科学基金项目(60875034);广东省自然科学基金项目(021073)
进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.
关键词:余剩余格 格蕴涵代数 BCK-代数 具有条件(S)的BCK-格 
S-系上的本质同余与富余同余
《数学杂志》2009年第1期73-80,共8页陈飞燕 陈裕群 梁炼 
广东省自然科学基金项目(021073)
本文给出了S-系上本质同余与富余同余的概念,并刻画了它们的性质;利用与模论中研究本质子模与余子模相类似的方法,得到了与其相类似的结果.
关键词:S-系 本质同余 富余同余 本质单态 富余满态 
Finite Simple Lattice Implication Algebras被引量:1
《Chinese Quarterly Journal of Mathematics》2008年第3期423-429,共7页ZHU Yi-quan 
Supported by a grant of Natural Science Foundation of Guangdong Province in China(021073)
In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if...
关键词:lattice implication algebra SIMPLICITY PERIODICITY 
基于FI-代数的一阶模糊谓词演算逻辑系统被引量:1
《模糊系统与数学》2008年第4期27-32,共6页朱怡权 
广东省自然科学基金资助项目(021073);肇庆学院自然科学研究项目(0663)
在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。
关键词:FI-代数 模糊逻辑 一阶谓词演算 可靠性 
R_0-代数的Boole可补元与直积分解被引量:5
《高校应用数学学报(A辑)》2006年第4期495-500,共6页朱怡权 
广东省自然科学基金(021073)
在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解.这些结果在一定程度上反映了R0-代数内部结构的特征,有益于从语义的角度进一步研究格值模糊逻辑系统.
关键词:R0-代数 Boole可补元 直积分解 
FI代数的导出序结构的一些性质被引量:5
《模糊系统与数学》2006年第3期54-58,共5页朱怡权 
广东省高校自然科学研究项目(Z02017);广东省自然科学基金资助项目(021073)
深入研究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...
关键词:FI代数 PFI代数 并半格 交半格 
关于PFI-代数与剩余格被引量:28
《数学进展》2006年第2期223-231,共9页朱怡权 曹喜望 
广东省自然科学基金项目(No.021073)广东省高校自然科学研究资助项目(No.Z02017).
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为...
关键词:多值逻辑 (正则)PFI-代数 (正则)剩余格 (弱)R0-代数 对偶结构 
关于线性微分方程组的几点注记被引量:1
《大学数学》2005年第6期104-107,共4页冯秀芹 曹青春 
广东省自然科学基金项目(021073)
给出了线性微分方程组为可化组的两个充分条件,并由此得到关于解的有界性与稳定性的若干结果.
关键词:线性微分方程组 可化组 有界性 稳定性 
低阶格蕴涵代数的构造
《宁夏大学学报(自然科学版)》2005年第3期216-218,224,共4页朱怡权 
广东省自然科学基金资助项目(021073)
借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题.证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个.这些结果将有助于对相应的逻辑系统与模糊推理的研究.
关键词:格蕴涵代数 蕴涵链 原子 分子(对偶原子) 
S-系的生成和上生成被引量:1
《华南师范大学学报(自然科学版)》2005年第4期5-10,共6页张广亮 陈裕群 
广东省自然科学基金项目(021073)
借助于模论中的方法,在半群S-系范畴中引入生成元与上生成元的概念,给出生成元与上生成元的一些刻画,并讨论了S-系的Trace和Reject的性质与结构.
关键词:S-系 生成 上生成 生成子 上生成子 
检索报告 对象比较 聚类工具 使用帮助 返回顶部