赋值格相关论文
对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究,得到若干基本结果,它们在各逻辑系统的比较研究中有一定参考价值.......
研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了......
