中介模态逻辑相关论文
对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑......
本文构造中介模态逻辑,给出三个系统MT,MS<sub>4</sub>和MS<sub>5</sub>,它们分别是经典模态逻辑T,S<sub>4</sub>,S<sub>5</sub>的......