小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
10期
2105-2108
,共4页
泛逻辑%谓词演算形式系统%泛与运算
汎邏輯%謂詞縯算形式繫統%汎與運算
범라집%위사연산형식계통%범여운산
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.
汎邏輯是在研究柔性世界邏輯規律時髮現的一箇新的連續值的邏輯體繫,它通過引入廣義相關性和廣義自相關性刻畫命題之間的相互關繫.本文主要解決基于零級汎與運算的一階謂詞縯算形式繫統(V)ULh∈(0,1]的完備性.通過引入全稱量詞和存在量詞,建立與命題形式繫統ULh∈(0,1]相對應的一階謂詞形式繫統(V)ULh∈(0.1],併證明其完備性定理.從而得到繫統(V)ULh∈(0,1]的語義和語構是和諧的.
범라집시재연구유성세계라집규률시발현적일개신적련속치적라집체계,타통과인입엄의상관성화엄의자상관성각화명제지간적상호관계.본문주요해결기우령급범여운산적일계위사연산형식계통(V)ULh∈(0,1]적완비성.통과인입전칭량사화존재량사,건립여명제형식계통ULh∈(0,1]상대응적일계위사형식계통(V)ULh∈(0.1],병증명기완비성정리.종이득도계통(V)ULh∈(0,1]적어의화어구시화해적.