高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

减法系统Ⅱ——BCY代数的各种加强系统

沈百英 叶瑞芬

沈百英, 叶瑞芬. 减法系统Ⅱ——BCY代数的各种加强系统[J]. 华东理工大学学报(自然科学版), 1991, (5).
引用本文: 沈百英, 叶瑞芬. 减法系统Ⅱ——BCY代数的各种加强系统[J]. 华东理工大学学报(自然科学版), 1991, (5).

减法系统Ⅱ——BCY代数的各种加强系统

  • 摘要: 在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。

     

  • 加载中
计量
  • 文章访问数:  933
  • HTML全文浏览量:  66
  • PDF下载量:  81
  • 被引次数: 0
出版历程

目录

    /

    返回文章
    返回