沈白英 减法系统。一： 几个BCY-代数及其单词问题。 （中文） Zbl 0601.06010号 数学学报。罪。 29, 112-116 (1986). BCY-代数是指具有二进制运算（\dot-）和二进制关系（\leq）（拟序）且满足以下公理的一般代数：P1\（t \leq t）；P2.（s \leq t）和（t \leq u）暗示\（s \leq u）；S1.\（s\leq t\）和\（u\leq w\）暗示\（s\dot-w\leq t\dot-u\）；S2.（s \（\dot-t）\ dot-（s \ dot-u）\ leq u\ dot-t\）；S3.\（s\dot-（s\dot-t）\leq t.\）公理S2和S3可以替换为两个规则：S2'\（s\dot-t\leq t\vdash（s\dot-u）\ dot-t）；S3’。（s\（\dot-t）\dot-u\leq w\vdash（s\dot-u）\dot-t\leq w\）。公理S2可以替换为公理：S2”。（s\（\dot-t）\dot-（u\dot-t）\leq s\dot-u.）我们所说的BCYB-代数是指带有附加公理S4的BCY-代数\（s\dot-t\leq s\）。我们所说的BCYI-代数是指具有附加规则的BCYB-代数：S5\（t\leq-s\vdash t\leqs-dot-（s\dot-t）\）。我们给出了BCY-代数、BCYB-代数和BCYI-代数的字问题的正解。 引用于1审查 MSC公司： 99年6月 分配格 03G25号 与逻辑相关的其他代数 03D40号 可计算性和递归理论中的单词问题等 关键词：准有序;单词问题;BCY代数;BCYB代数;BCYI-代数 PDF格式BibTeX公司 XML格式引用 \textit{B.Shen}，《数学学报》。罪。29、112--116（1986；Zbl 0601.06010）