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

【Abstract】 Having researched further into the NM system(Nilpotent Minimum ukasiewicz Logic),the strong completeness of NM is discussed.The properties of NM-chain are studied and it is proved that each NM-chain is partially embeddable intoJ.The finite strong completeness theorem of NM is investigated by means of the partially embeddable property.It points out that NM does not enjoy the strong completeness about infinite theory.更多还原