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

《山东大学学报(理学版)》 ›› 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)

755

摘要： 引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了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] 田径,龚家豪. 单缀严格语言的组合性质及代数特征[J]. 《山东大学学报(理学版)》, 2024, 59(6): 91-97, 107.
[2] 崔雨茹,程杨. Fine环的一类推广[J]. 《山东大学学报(理学版)》, 2024, 59(6): 84-90.
[3] 王玲,赵彬. 子Z-Quantale及其性质[J]. 《山东大学学报(理学版)》, 2024, 59(6): 76-83.
[4] 王洁,陈文静. 关于w-FPn-投射模[J]. 《山东大学学报(理学版)》, 2024, 59(6): 64-70.
[5] 陈文静,高文. Morita环上的Gorenstein FP-内射模[J]. 《山东大学学报(理学版)》, 2024, 59(4): 9-15.
[6] 梁少辉,张雪亭,夏小刚. 对合m-半格中特殊元、理想及其范畴性质[J]. 《山东大学学报(理学版)》, 2024, 59(4): 1-8.
[7] 周柳,乔磊,赵丹. 关于w-IFP-平坦模与w-IFP-内射模[J]. 《山东大学学报(理学版)》, 2024, 59(2): 22-31.
[8] 苏冬. 二阶全矩阵代数的二面体群模代数结构[J]. 《山东大学学报(理学版)》, 2024, 59(2): 14-21, 31.
[9] 张翠萍,董娇娇,杨银银. 形式三角矩阵环上的Gorenstein FP-内射维数[J]. 《山东大学学报(理学版)》, 2024, 59(2): 8-13.
[10] 王尧,李欣,任艳丽. *-zip环[J]. 《山东大学学报(理学版)》, 2024, 59(2): 1-7.
[11] 孙华,邹健,赵汝菊. 8维Radford Hopf代数的Green代数的自同构群[J]. 《山东大学学报(理学版)》, 2023, 58(11): 61-70.
[12] 杨龙姣,姚海楼. 余代数上的Gorenstein弱投射余模[J]. 《山东大学学报(理学版)》, 2023, 58(8): 43-47, 56.
[13] 张翠萍,张文菲,杨富霞. $\mathscr{X}$-强n-Gorenstein投射模[J]. 《山东大学学报(理学版)》, 2023, 58(8): 26-32, 42.
[14] 杨鲜红,唐国亮,狄振兴. 三角矩阵环上Gorenstein平坦余挠模的黏合[J]. 《山东大学学报(理学版)》, 2023, 58(8): 18-25.
[15] 官梦鸽,周海楠,魏俊潮. EP元的一些等价刻画[J]. 《山东大学学报(理学版)》, 2023, 58(8): 13-17.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2018 《山东大学学报(理学版)》编辑部　
地址: 山东省济南市山大南路27号山东大学中心校区（250100）　电话: +86-0531-88366917　E-mail: xblxb@sdu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发