Methods Based on the semantic theory of nonclassical logic.

• 方法非经典数理逻辑的语义理论。