摘要: 众所周知,在每一个逻辑系统中,紧性定理是最重要和最基本的定理之一。本文以点集拓扑学中关于紧致性拓扑空间的吉洪诺夫(тихонов)定理为理论基础,获得了下述结果:在所有只有有限个命题函数的 m(m≥2,为自然数)值命题逻辑系统中,紧性定理都成立。
冉太模. m值命题逻辑系统的紧性定理[J]. 数学季刊, 1987, 2(2): 81-84.
RAN Tai-mo. On the Compaciness Theorem in m-valued (m≥2) Statement Logical System[J]. Chinese Quarterly Journal of Mathematics, 1987, 2(2): 81-84.