强完备性相关论文
对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了......
进一步讨论了形式系统(L)*中的一般演绎推理及强完备性问题.对于任意的公式集Г,引入一种新的代数结构-R0(Г)代数,利用子代数结构......