经典命题演算相关论文
【正】 "次协调逻辑"的主要意思是指,在新逻辑中当矛盾律被削弱之后,仍要保持一种次于经典逻辑的新的协调性.它与数理逻辑、辩证逻......
自Lukasiewicz创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概......