在有关?ukasiewicz命题演算形式系统的公理独立性证明中，一种常见的做法是直接运用模型论的方法构造出若干三值模型来表明各公理的独立性。不过，这种做法既没有详细解释构造这些三值模型的原因和依据，也没有系统说明构造这些三值模型的过程和方法。实际上，一种直观而自然的思考进路完全可以弥补上述做法的不足。
科研之友
微信
新浪微博
Facebook
分享链接
