On the Finite Strong Completeness of NM
Qiong Zhang · Dianzi xuebao · 2010
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.