计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
30期
50-52
,共3页
非线性格%命题逻辑%真度%逻辑度量空间
非線性格%命題邏輯%真度%邏輯度量空間
비선성격%명제라집%진도%라집도량공간
王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构.在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性.
王國俊教授在多值邏輯繫統中提齣瞭公式的真度等概唸併初步建立瞭計量邏輯學理論,但其研究的多值命題邏輯是線性賦值格結構.在四值非線性格值邏輯繫統上提齣推廣的真度,得到瞭一些平行的相關結果,說明計量邏輯學在非線性格值邏輯繫統上有一定的可行性.
왕국준교수재다치라집계통중제출료공식적진도등개념병초보건립료계량라집학이론,단기연구적다치명제라집시선성부치격결구.재사치비선성격치라집계통상제출추엄적진도,득도료일사평행적상관결과,설명계량라집학재비선성격치라집계통상유일정적가행성.