对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究,得到若干基本结果,它们在各逻辑系统的比较研究中有一定参考价值.......

研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了......

研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴函算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ６＾１的语义理论，得到若干结果，特别是Ｋ６＾１中的准重言式恰与......

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的补运算，而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４，得到若干结果。特别是，Ｋ＾２４中没有重言式，其准重言式......