论文部分内容阅读
本文从语法角度出发,利用模糊测度定义了一种新的模糊算子Φ,并用其刻划了一种新的模态逻辑,从而对南斯拉夫学者Branislav B.提出的模糊化方法做了进一步探讨.全文共分三大部分:第一部分讨论了模态逻辑系统Φ<,Φ>及其一些性质.第二部分给出了这种模态逻辑的归结方法并证明了其完备性.第三部分讨论了基于模糊测度的直觉模糊模态逻辑和它的一些性质.结束语提出了一些尚待解决的问题.