逻辑系统、W、W_n中的广义矛盾式及一种降级算法  

Theory of generalized contradiction and a downgrade algorithm in logic system 、W、W_n

作　　者：马巧云[1] 吴洪博[2] 赵艳[1] 

机构地区：[1]西安文理学院数学系,陕西西安710065 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《纯粹数学与应用数学》2007年第4期475-479,500,共6页Pure and Applied Mathematics

基　　金：国家自然科学基金资助项目(10471083);西安文理学院科研资助项目(ky200535)

摘　　要：研究了多值逻辑系统、W、Wn中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.在、W、Wn中给出了一种降级算法,但、W中的矛盾式并不能由对非矛盾式进行降级得到.而在Wn中,矛盾式可由非矛盾式经过有限次降级得到.Generalized contradictions are studied in logic system W,W,Wn. We give a partitin of generalized contradictions and a downgrade algorithm. Moreover we get that contradiction cannot be obtained by employing downgrade algorithm to non-tautology in logic system W, W; But contradiction can be obtained by employing downgrade algorithm limited times to non-tautology in logic system Wn.

关 键 词：逻辑系统 重言式 矛盾式 降级算法 

分 类 号：O141[理学—数学]