模糊模态逻辑系统M■uk中的可达广义重言式

发布时间：2018-07-05 00:49

  本文选题：模糊模态逻辑 + 模糊模态逻辑系统M■uk　； 参考：《山东大学学报(理学版)》2009年08期

【摘要】：将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。
[Abstract]:Taking assignment lattice as unit interval and fuzzy binary relation R, we study fuzzy modal logic system Muk. then discretize its assignment lattice to study multi-valued modal logic system M _ n, prove that in M _ n, There exists a reachable 伪 -tautology for any possible assignment 伪, and a reachable 伪 -tautology for any rational number 伪 鈭，

本文编号：2098188