计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
18期
38-39
,共2页
牛广化%陈怀进%袁彦莉
牛廣化%陳懷進%袁彥莉
우엄화%진부진%원언리
经典逻辑%公理%G(o)del系统%Lukasiewicz系统%R0系统%真度
經典邏輯%公理%G(o)del繫統%Lukasiewicz繫統%R0繫統%真度
경전라집%공리%G(o)del계통%Lukasiewicz계통%R0계통%진도
对经典逻辑中的公理在Godel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果.
對經典邏輯中的公理在Godel繫統、Lukasiewicz以及R0繫統中的真度大小進行瞭分析,得到瞭一繫列深刻而有趣的結果.
대경전라집중적공리재Godel계통、Lukasiewicz이급R0계통중적진도대소진행료분석,득도료일계렬심각이유취적결과.