摘要
对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.
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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第6期1414-1418,共5页
Acta Electronica Sinica
基金
国家自然科学基金(No.10871121)