您的位置：山东大学 -> 科技期刊社 -> 《山东大学学报（理学版）》

《山东大学学报(理学版)》 ›› 2019, Vol. 54 ›› Issue (8): 14-19.doi: 10.6040/j.issn.1671-9352.0.2018.587

• • 上一篇    下一篇

超相等代数的强超推理系统

程晓云1,辛小龙2   

  1. 1.西安航空学院理学院, 陕西 西安 710077;2. 西北大学数学学院, 陕西 西安 710069
  • 出版日期:2019-08-20 发布日期:2019-07-03
  • 作者简介:程晓云(1978— ), 女, 博士, 讲师, 研究方向为逻辑代数及超代数. E-mail:chengxiaoyun2004@163.com
  • 基金资助:
    国家自然科学基金资助项目(11571281);西安航空学院博士科研启动基金资助项目

Strong hyper deductive systems in hyper equality algebras

CHENG Xiao-yun1, XIN Xiao-long2   

  1. 1. School of Science, Xian Aeronautical University, Xian 710077, Shaanxi, China;
    2. School of Mathematics, Northwest University, Xian 710069, Shaanxi, China
  • Online:2019-08-20 Published:2019-07-03

PDF (PC)

466

摘要： 引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。

关键词: 超相等代数, 强超推理系统, 生成的强超推理系统, (正)关联强超推理系统

Abstract: Some types of strong hyper deductive systems in hyper equality algebras are introduced and investigated. Some representations of generated strong hyper deductive systems are given. Then, Two types of important strong hyper deductive systems, namely, implicative and positive implicative strong hyper deductive systems are studied. In particular, characterizations of them are given and the relations between them are discussed.

Key words: hyper equality algebra, strong hyper deductive system, generated strong hyper deductive system, (positive)implicative strong deductive system

中图分类号: 

  • O153
[1] NOVÁK V, BAETS B D. EQ-algebras[J]. Fuzzy Sets and Systems, 2009, 160(20):2956-2978.
[2] JENEI S. Equality algebras[J]. Studia Logica, 2012, 100(6):1201-1209.
[3] SAEID A B, REZAEI A, BORZOOEI R A. Some types of filters in BE-algebras[J]. Mathematics in Computer Science, 2013, 7(3):341-352.
[4] ZEBARDAST F, BORZOOEI R A, KOLOLOGANI M A. Results on equality algebras[J]. Information Sciences, 2017, 381:270-282.
[5] MARTY F. Surune generalization de la notion de group[C] // The 8th Congress Math, Sweden, Scandinaves[s.n.] , 1934.
[6] JUN Y B, ZAHEDI M M, XIN Xiaolong, et al. On hyper BCK-algebras[J]. Italian Journal of Pure and Applied Mathematics-N, 2000, 8:127-136.
[7] XIN Xiaolong. Hyper BCI-algebras[J]. Discussiones Mathematicae General Algebra and Applications, 2006, 26:5-19.
[8] GHORBANI S, HASANKHANI A, ESLAMI E. Hyper MV-algebras[J]. Set-Valued Mathematiics Applications, 2008, 1:205-222.
[9] BORZOOEI R A, BAKHSHI M, ZAHIRI O. Filter theory on hyper residuated lattice[J]. Quasigroups and Related Systems, 2014, 22:33-50.
[10] BORZOOEI R A, SAFFAR B G, AMERI R. On hyper EQ-algebras[J]. Italian Journal of Pure and Applied Mathematics-N, 2013, 31:77-96.
[11] CHENG Xiaoyun, XIN Xiaolong, JUN Y B. Hyper equality algebras[M] // Quantitative Logic and Soft Computing. Berlin: Springer, 2017: 415-428.
[12] CORSINI P, LEOREANU V. Applications of hyperstructure theory[M]. Dordrecht: Kluwer, 2003.
[13] DAVVAZ B, NEZHAD A D, HEIDARI M M. Inheritance examples of algebraic hyperstructures[J]. Information Sciences, 2013, 224:180-187.
[14] CHENG Xiaoyun, XIN Xiaolong. Filter theory on hyper BE-algebras[J]. Italian Journal of Pure and Applied Mathematics-N, 2015, 35:509-526.
[15] CHENG Xiaoyun, XIN Xiaolong, YANG Yongwei. Deductive systems in hyper EQ-algebras[J]. Journal of Mathematical Research with Applications, 2017, 37(2):183-193.
[1] 王占平,袁恺英. 相对于余挠对的强Gorenstein内射模[J]. 《山东大学学报(理学版)》, 2019, 54(8): 102-107.
[2] 段景瑶. 剩余格上逻辑度量空间的拓扑性质[J]. 《山东大学学报(理学版)》, 2018, 53(12): 9-16.
[3] 吴小英,王芳贵. 分次版本的Enochs定理[J]. 山东大学学报（理学版）, 2018, 53(10): 22-26.
[4] 刘春辉. 可换BR0-代数在一般集合上的蕴涵表示形式[J]. 山东大学学报（理学版）, 2018, 53(6): 86-94.
[5] 程诚, 邹世佳. 一类Hopf代数的不可约可裂迹模[J]. 山东大学学报（理学版）, 2018, 53(4): 11-15.
[6] 朱林. A4型箭图的可分单态射表示和RSS等价[J]. 山东大学学报（理学版）, 2018, 53(2): 1-8.
[7] 刘春辉. 关于格蕴涵代数的(∈,∈∨q(λ, μ))-模糊LI-理想[J]. 山东大学学报（理学版）, 2018, 53(2): 65-72.
[8] 彭家寅. 剩余格上的落影模糊滤子[J]. 山东大学学报（理学版）, 2018, 53(2): 52-64.
[9] 王海伟,赵彬. Q-并代数范畴中的投射对象[J]. 山东大学学报（理学版）, 2018, 53(2): 73-82.
[10] 汪慧星,崔建,陈怡宁. 诣零*-clean环[J]. 山东大学学报（理学版）, 2017, 52(12): 16-24.
[11] 李金兰,梁春丽. 强Gorenstein C-平坦模[J]. 山东大学学报（理学版）, 2017, 52(12): 25-31.
[12] 郭双建,李怡铮. 拟Hopf代数上BHQ何时是预辫子monoidal范畴[J]. 山东大学学报（理学版）, 2017, 52(12): 10-15.
[13] 鹿道伟,王珍. 双代数胚上的L-R smash积[J]. 山东大学学报（理学版）, 2017, 52(12): 32-35.
[14] 孙彦中,杨晓燕. 相对于半对偶模的Gorenstein AC-投射模[J]. 山东大学学报（理学版）, 2017, 52(10): 31-35.
[15] 刘春辉. BL代数的(,∨(-overq))-模糊滤子格[J]. 山东大学学报（理学版）, 2017, 52(10): 104-110.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] 廖明哲. 哥德巴赫的两个猜想[J]. J4, 2013, 48(2): 1 -14 .
[2] 王开荣,高佩婷. 建立在DY法上的两类混合共轭梯度法[J]. 山东大学学报（理学版）, 2016, 51(6): 16 -23 .
[3] 李亚男1,刘磊坡2,王玉光3. 非线性时滞输入系统的滑模控制[J]. J4, 2010, 45(6): 99 -104 .
[4] 金黎明,杨 艳*,刘万顺,韩宝芹,田文杰,范圣第 . 壳寡糖及其衍生物对CCl4诱导的小鼠肝损伤的保护作用[J]. J4, 2007, 42(7): 1 -04 .
[5] 章东青,殷晓斌,高汉鹏. Quasi-线性Armendariz模[J]. 山东大学学报（理学版）, 2016, 51(12): 1 -6 .
[6] 伍代勇. 一类具有反馈控制非线性离散Logistic模型的全局吸引性[J]. J4, 2013, 48(4): 114 -110 .
[7] 杨军. 金属基纳米材料表征和纳米结构调控[J]. 山东大学学报（理学版）, 2013, 48(1): 1 -22 .
[8] 董伟伟. 一种具有独立子系统的决策单元DEA排序新方法[J]. J4, 2013, 48(1): 89 -92 .
[9] 裴胜玉，周永权*. 一种基于混沌变异的多目标粒子群优化算法[J]. J4, 2010, 45(7): 18 -23 .
[10] 李守巨1，上官子昌2,3，孙伟4，栾茂田1，刘博3. 盾构机密封舱渣土非线性本构模型参数识别[J]. J4, 2010, 45(7): 24 -27 .
版权所有 © 2018 《山东大学学报(理学版)》编辑部　
地址: 山东省济南市山大南路27号山东大学中心校区（250100）　电话: +86-0531-88366917　E-mail: xblxb@sdu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发