On the Finite Strong Completeness of NM&#321;

PDF(239 KB)

ACTA ELECTRONICA SINICA ›› 2010, Vol. 38 ›› Issue (6) : 1414-1418.

科研通信

On the Finite Strong Completeness of NMŁ

WU Hong-bo, ZHANG Qiong

Author information +

History +

Abstract

Having researched further into the NMŁ system(Nilpotent Minimum Łukasiewicz Logic), the strong completeness of NMŁ is discussed. Firstly,the properties of NMŁ-chain are studied and it is proved that each NMŁ -chain is partially embeddable into . Secondly, the finite strong completeness theorem of NMŁ is investigated by means of the partially embeddable property. Finally, it points out that NMŁ does not enjoy the strong completeness about infinite theory.