补充资料：非经典逻辑

    　　最广义的数理逻辑的组成部分之一。指运用特制的人工符号语言和形式化方法研究演绎推理的规律及其相关的各种逻辑系统和理论。它包括模态逻辑、多值逻辑、构造逻辑、道义逻辑、时态逻辑、模糊逻辑等。（见形式逻辑）。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。