舆论摘要：BCK-代数,结余格,BR_0-代数之间联系和反向三I算法的几何接洽

     结余格是具备普遍运用的一类朦胧论理代数体例,同样BCK-代数, BR_0-代数也利害常要害的代数体例.正文重要接洽了BCK-代数,结余格, BR_0-代数之间的联系并得出了几何论断,同声还接洽了鉴于£ukasiewicz包括算子的三I牵制和反向三I牵制算法和鉴于完美余结余格上的反向三I算法并得出了几何论断.结果,在附表页给出了BCK-代数,结余格, BR_0-代数之间的联系图.底下引见正文的构造和重要实质:第一章   计划常识. 对作品中将要用到的相关BCK-代数,结余格, BR_0-代数基础观念和基础本质作了一个扼要的报告,而且给出了格BCK-代数的观念. 第二章 接洽了BCK-代数,结余格, BR_0-代数之间的联系并得出了对及格BCK- 代数与正则结余格是一平等价的代数体例;有界可换格BCK-代数与正轨结余格是一平等价的代数体例;MV-代数与有界可换BCK-代数是一平等价的代数体例;BR_0-代数与强正则结余格是一平等价的代数体例等几何论断.  第三章  接洽了鉴于£ukasiewicz包括算子的三I牵制和反向三I牵制算法和鉴于完美余结余格上的反向三I算法并得出了鉴于£ukasiewicz包括算子的三I牵制和反向三I牵制算法的对于FMP和FMT题目的解;提出了CRL-反向三I MIFMP准则和CRL-反向三I MIFMT准则;得出了鉴于完美余结余格上的反向三I算法对于FMP和FMT题目的解和反向三I MIFMP算法以及反向三I MIFMT算法是恢复算法等几何要害论断;结果以£ukasiewicz余随同对和R_0余随同对中的⊖算子为惯例给出了其对于反向三I MIFMP准则和对于反向三I MIFMT准则的计划公式.