NM#321;系统的有限强完备性.pdfVIP

第 期 电 子 学 报 ６ Ｖｏｌ．３８ Ｎｏ．６ 年 月 ２０１０ ６ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｊｕｎ． ２０１０ ＮＭ系统的有限强完备性 吴洪博，张 琼 （陕西师范大学数学与信息科学学院，陕西西安 ７１００６２） 摘 要： 对 （ ）系统进行了研究，讨论了 系统的强完备性问题 对 ＮＭＮｉｌｐｏｔｅｎｔＭｉｎｉｍｕｍｕｋａｓｉｅｗｉｃｚＬｏｇｉｃ ＮＭ ． 链的性质作了进一步的研究，证明了任一 链都可部分嵌入到［，］中；利用这一性质证明了 系统的有 ＮＭ