位置：成果数据库 > 期刊 > 期刊详情页
BR0-代数与BCK-代数
  • 期刊名称：河南师范大学学报，35（2007）2:13-15
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,西安710062
  • 相关基金：国家自然科学基金（10471083）;陕西师范大学重点科研基金（995130）
  • 相关项目：Quantale理论中若干问题的研究
作者： 李岩，吴洪博
关键词： 模糊逻辑, BR0-代数, BCK-代数, MV-代数, 滤子, 理想, fuzzy logic, BR0 -Algebra, BCK-Algebra, MV-Algebra, filter, ideal
中文摘要：

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系，给出了BR0-代数可以诱导出一个有界BCK-代数，有界交换BCK-代数也可以诱导出一个BR0-代数，又以推论的形式得出了有界交换BCK-代数与Mv-代数是两个等价的代数系统等结论．

英文摘要：

In this paper we discuss the relation between the BR0-Algebra and the BCK-Algebra,and also the relation between the filter of the BR0 -Algebra and the ideal of the BCK- Algebra. We can get a bounded BCK-Algebra from the BR0 -Algebra,and also a BR0 -Algebra from a bounded commutive BCK-Algebra. We prove MV-Algebra and bounded commutive BCK- Algebra are equivalent.

同期刊论文项目
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及其性质
Girard Quantale的若干性质
Ln 命题演算中的一种新程度化方
系统Hα中F(S)的一个分划及一种
R0-代数的格蕴涵表示定理
由导集运算定义拓扑的方法
分子格中的ωΤ1分离性
命题逻辑系统L*的有效集
Order-convergence and Lim-inf
模态条件方程的一类新解
关于BR0-代数弱完备性的证明
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中的理想与同余
预线性剩余格与逻辑代数
推理闭包算子及其诱导的空间
乘积代数的性质和度量