位置：成果数据库 > 期刊 > 期刊详情页
关于BR0-代数弱完备性的证明
  • 期刊名称：西北大学学报，37（2007）3:459-463
  • 时间：0
  • 分类：O142[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西省商洛职业技术学院,陕西商洛726000, [2]陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金：国家自然科学基金资助项目（10471083）; 陕西师范大学重点科研基金项目（995130）; 商洛职业技术学院科研基金项目（2010080）
  • 相关项目：Quantale理论中若干问题的研究
作者： 邵晓丽，吴洪博
关键词： 乘积模糊逻辑系统, 发散度, 相容度, product fuzzy logic system, divergence degree, consistency degree
中文摘要：

为了研究乘积代数的相容理性,通过在乘积模糊系统中理论的相容度的研究,给出了理论的发散度和用以区分理论相容与否的级指标,得到了一种适应任一有限或无限理论且表达相对简单的相容函数.

英文摘要：

In order to study consistency of product algebra,a new reasonable concept of consistency degree for general finit or infinit theories in product fuzzy logical system is given.Furthermore,the simple expression of consistency function is obtained.

同期刊论文项目
Quantale理论中若干问题的研究
期刊论文 78 会议论文 4 著作 1
同项目期刊论文
On L-fuzzy Order –Preserving
The distributive equations for
Quantale范畴的代数性
对合Quantale范畴中的自由对象及
L*系统中由单个原子生成的公式的
The category of supercontinuou
预格及其性质的研究
准连续Domain和稳定映射
￡*系统中L*10的特点及应用
L*系统中的模糊演绎定理的改进形
L(-空间中的Hausdorff分离性
自由Dcpo与自由完备格的结构
n值R0 命题逻辑系统L*n 中公式的
二值命题逻辑中命题的矛盾度理论
预Girard Quantale及其性质的研
单纯Quantale
关于正则蕴涵算子
正则蕴涵算子分析性质的研究
分配超格
拟代数Domain的若干性质
Quantale矩阵可逆性的刻画
Lim-inf convergence in partial
Inclusive regular separation i
基于完备BR0-代数的全蕴涵三I算
相通连续Domain的若干特征定理
Quantale中的素理想及弱素理想
Prequantale及其范畴性质
幂等右侧Quantale上的幂零矩阵
单纯Quantale及其Quantale商
连续Domain的遗传性及其不变性
The ideal conuclei on quantale
完备剩余格中的全蕴涵推理方法
MV代数定义的蕴涵简化形式
Quantale矩阵的行列式的若干性质
N-半单代数中的剩余格结构
余Quantale及其性质
BR0-代数与BCK-代数
Girard Quantale的若干性质
Ln 命题演算中的一种新程度化方
系统Hα中F(S)的一个分划及一种
R0-代数的格蕴涵表示定理
由导集运算定义拓扑的方法
分子格中的ωΤ1分离性
命题逻辑系统L*的有效集
Order-convergence and Lim-inf
模态条件方程的一类新解
A logical topological structur
Quantale矩阵的合成
O2 - convengence in posets
BR0代数与FI代数的关系
The Largest Spatial Frame Quotient on Prequantale
关联子集与不连通空间的等价刻画
L^＊系统中L^＊10的特点及应用
子Quantale的计数问题
对合Quantale范畴中的自由对象及其良幂性
Uninorm与T-operator的剩余结构
命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论
系统L中公式相对于有限理论的∑_Γ-真度理论
Luk-Lindenbaum代数中的＊滤子
BR_0代数中理想及其性质
命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论
R0代数的Fuzzy子代数与Fuzzy关联MP滤子
超格中的理想
系统Hα中F（S）的一个分划及一种升级算法
Quantale上的理想余核
命题逻辑系统L^＊的有效集
R0代数中素理想的拓扑性质
Quantale中的闭滤子
[0，1]上的一种逻辑度量结构
BR0代数的关联MP滤子和布尔MP滤子
BR_0代数中的次极大滤子
分配的Fuzzy蕴涵代数
基于剩余格理论的P-有界分配格的理想集代数
Quantale中的理想与同余
预线性剩余格与逻辑代数
推理闭包算子及其诱导的空间
乘积代数的性质和度量