不属于传统的命题演算或谓词演算的逻辑的统称。非标准逻辑可分为两类。第一类是与传统逻辑完全不同的。例如，多值逻辑，模糊逻辑和直觉逻辑。第二类是将传统逻辑推广。例如，模态逻辑和瞬态逻辑。非标准逻辑在计算机科学和人工智慧有较大的用途。例如，用于程序验证，硬体电路设计，和非单调推理等。
词语
词语
