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

Strong hyper deductive systems in hyper equality algebras

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

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.