超相等代数的强超推理系统
程晓云1,辛小龙21.西安航空学院理学院, 陕西 西安 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-long21. School of Science, Xian Aeronautical University, Xian 710077, Shaanxi, China;
2. School of Mathematics, Northwest University, Xian 710069, Shaanxi, China
Online:
2019-08-20Published:
2019-07-03摘要/Abstract
摘要: 引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。
PDF全文下载地址:
http://lxbwk.njournal.sdu.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3124