蕴涵算子族Rp-L 相关硕士博士期刊学术论文

给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义，并且给出了逻辑系统LP的定义；证明了逻辑系统LP与逻辑系统L的等价性，在此基础......