论文部分内容阅读
对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.