任意量词相关硕士博士期刊学术论文

一元MV-代数(L,(A))由MV-代数连同其上的一个一元算子(A)构成,其中(A)是一元多值谓词逻辑中任意量词的代数解释.考虑到MTL-代数是......