-
题名R_0代数的一种等价形式
- 1
-
-
作者
王小敏
-
机构
西安工业大学数理系
-
出处
《西安工业大学学报》
CAS
2006年第6期596-598,共3页
-
文摘
R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.
-
关键词
模糊逻辑
形式演绎系统l＊
R0代数
基础R0代数
等价系统
-
Keywords
fuzzy logic
formal deductive system l＊
R0 algebra
basic R0 algebra
equivalent system
-
分类号
O141
[理学—数学]
-
-
题名L*系统中L*10的特点及应用
被引量：1
- 2
-
-
作者
吴洪博
刘敏
-
机构
陕西师范大学数学研究所
-
出处
《工程数学学报》
CSCD
北大核心
2006年第5期835-842,共8页
-
基金
国家自然科学基金(10471083)
陕西师范大学重点科研基金(995130)
-
文摘
对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。
-
关键词
模糊逻辑
命题演算
蕴涵算子
语义
形式演绎系统l^＊
-
Keywords
fuzzy logic
implication operator
semantics
l^＊ system
deductive theorem
-
分类号
O141.1
[理学—数学]
-
-
题名形式演绎系统L~*的运算与弱演绎定理
- 3
-
-
作者
张家录
-
机构
湘南学院数学系
-
出处
《湘南学院学报》
2004年第2期25-29,共5页
-
文摘
在著名的形式演绎系统L 中引入一种新的运算 ,讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.
-
关键词
形式演绎系统l^＊
弱演绎定理
模糊逻辑
分离规则
-
Keywords
fuzzy logic
formal deductive system l~%MUl%
theorem
weak deductive theorem
-
分类号
O141.1
[理学—数学]
-
-
题名形式演绎系统L~*中封闭理论的性质及其应用
- 4
-
-
作者
吴洪博
梁颖
-
机构
陕西师范大学数学与信息科学学院
-
出处
《数学学报（中文版）》
CSCD
北大核心
2018年第1期123-134,共12页
-
基金
国家自然科学基金项目(61572016,11531009,61673250)
-
文摘
本文在模糊命题演算的形式演绎系统L^＊中引入了封闭理论的概念，讨论了封闭理论的基本性质，并利用封闭理论给出了形式演绎系统L^＊的基于公式集的完备性的证明．首先，在形式演绎系统L^＊中引入了封闭理论的概念，给出了理论封闭化扩张的方法；其次，在形式演绎系统L^＊中引入了完全封闭理论的概念，证明了满足相关条件的完全封闭理论的存在性；第三，对形式演绎系统L^＊中的封闭理论确定的同余关系性质进行了讨论，在公式集中引入了强同余关系的概念，给出了封闭理论和强同余关系相互决定的方法；第四，在形式演绎系统L^＊中证明了封闭理论型L^＊-Lindenbaum代数是R0代数，并且封闭理论型L^＊-Lindenbaum代数是全序的当且仅当封闭理论是完全的；最后，利用完全封闭理论型L^＊-Lindenbaum代数完成了形式系统L^＊完备性的证明，并改进了原有的结果．
-
关键词
模糊逻辑
形式演绎系统l^＊
封闭理论
强同余关系
完备性
-
Keywords
fuzzy logic
formal deductive system l^＊
closed theory
strong congruence relation
completeness
-
分类号
O141.1
[理学—数学]
-
