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

Generalized quasi-tautology of Gdel interval-valued logic system

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

Ph.D WU Hong-bo generalized Professor WANG Guo-jun＇s theory about R0-1ogic system generalized tautology into G^del logic system.He has obtained the partition by introducing the two concept of isomorphic mapping on C, fidel logic system of F（S）.In this paper,the authors generalize Ph.D WU＇s theory into interval-valued fuzzy propositional logic system,introduce the two new concept of interval isomorphic mapping,and also obtain the partition on interval-valued logic system of F（S） in the end.