更新时间：2021-09-04 12:31
经典逻辑视野下的非经典否定，哲学动态杂志，哲学动态杂志在线阅读，哲学动态杂志订阅，《哲学动态》2010年第07期电子杂志，哲学动态杂志文章，余俊伟。
最广义的数理逻辑的组成部分之一。指运用特制的人工符号语言和形式化方法研究演绎推理的规律及其相关的各种逻辑系统和理论。它包括模态逻辑、多值逻辑、构造逻辑、道义逻辑、时态逻辑、模糊逻辑等。（见形式逻辑）。