论文部分内容阅读
本论文主要讨论了广义剩余格与广义MV-代数、广义剩余格与广义BL-代数之间的关系；同时讨论了左连续的广义R0 t-模的同构，并给出了广义R0-代数与PL公理理体系的定义；介绍了广义剩余格的定义及其一些基本的性质.讨论了广义剩余格上三组重要的附加条件，以及这些条件附加在广义剩余格上可得到一些重要的广义剩余格类.最后系统研究了这些附加条件之间的关系，从而理清了这些重要的广义剩余格类之间的关系，讨论了左连续的广义R0 t-模的同构，给出了广义R0-代数的定义，给出了PL公理体系的定义，证明了PL公理体系的Linden-baum代数是广义R0-代数以及PL公理体系的[F]-完备性。最后给出了PL公理体系的广义演绎定理.