位置：成果数据库 > 期刊 > 期刊详情页
BR0代数与FI代数的关系
  • ISSN号：1672-6871
  • 期刊名称：《河南科技大学学报：自然科学版》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,陕西西安710062, [2]河北省成安县道东堡中学,河北邯郸056000
  • 相关基金：国家自然科学基金项目（10471083）;陕西师范大学重点科研基金项目（995130）
作者： 娄银华[1], 李丽[2], 吴洪博[1]
关键词： FI代数, 正则FI代数, R0代数, BR0代数, B, R0代数的简化形式
中文摘要：

研究了模糊命题演算形式演绎系统L^＊和与之在语义上相匹配的R0代数，以及基础R0代数和基础L^＊系统，提出了BR0代数的简化形式的概念，讨论了BR0代数与FI代数的相互关系。

同期刊论文项目
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
模态条件方程的一类新解
关于BR0-代数弱完备性的证明
A logical topological structur
Quantale矩阵的合成
O2 - convengence in posets
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中的理想与同余
预线性剩余格与逻辑代数
推理闭包算子及其诱导的空间
乘积代数的性质和度量
期刊信息
  • 《河南科技大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:河南省教育厅
  • 主办单位:河南科技大学
  • 主编：苏娟华
  • 地址：河南省洛阳市开元大道263号
  • 邮编：471023
  • 邮箱：hkdxbz@haust.edu.cn
  • 电话：0379－64231476
  • 国际标准刊号：ISSN：1672-6871
  • 国内统一刊号：ISSN：41-1362/N
  • 邮发代号:36-285
  • 获奖情况:
  • 1999年全国优秀高校自然科学学报及教育部优秀科技...,全国高校自然科学优秀学报,河南省优秀科技期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,波兰哥白尼索引,德国数学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:4775