G(o)del区间值逻辑系统的广义拟重言式

摘要：

吴洪博博士蒋王国俊教授在R0逻辑系统中的广义重言式理论推广到Godel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划.将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划.

关键词：广义拟重言式、广义重言式、模糊逻辑、命题演算

所属期刊栏目：45

分类号：TP301(计算技术、计算机技术)

资助基金：河南省自然科学基金the Natural Science Foundation of Henan Province of China under Grant 0611053900

在线出版日期：2009-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：57-59