可达广义重言式论文_邹尚田,王国俊

导读:本文包含了可达广义重言式论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:可达,广义,重言,逻辑,模糊,模态,矛盾。

可达广义重言式论文文献综述

邹尚田,王国俊^[1]（2009）在《模糊模态逻辑系统M■uk中的可达广义重言式》一文中研究指出将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。(本文来源于《山东大学学报(理学版)》期刊2009年08期）

可达广义重言式论文开题报告

可达广义重言式论文参考文献

[1].邹尚田,王国俊.模糊模态逻辑系统M■uk中的可达广义重言式[J].山东大学学报(理学版).2009

论文知识图

Notice: Undefined index: items in F:\Web\www\cnki.demo.com\app\cnki\tpl\search.html on line 79Warning: Invalid argument supplied for foreach() in F:\Web\www\cnki.demo.com\app\cnki\tpl\search.html on line 79

标签：可达论文;  广义论文;  重言论文;  逻辑论文;  模糊论文;  模态论文;  矛盾论文;