闭逻辑理论论文

多值命题逻辑中若干逻辑理论的拓扑刻画
论文摘要数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而后者允许近似求解,如果说数理逻辑具有刻板的一...